Declarative Processing of Semistructured Web Data

In order to give application programs access to data stored in the web in semistructured formats, in particular, in XML format, we propose a domain-specific language (DSL) for declarative processing such data. Our language is embedded in the functional logic programming language Curry and offers powerful matching constructs that enable a declarative description of accessing and transforming XML data. We exploit advanced features of functional logic programming to provide a high-level and maintainable implementation of our language. Actually, this paper contains the complete code of our implementation so that the source text of this paper is an executable implementation of our embedded DSL.

[1]  François Bry,et al.  Towards a Declarative Query and TransformationLanguage for XML and Semistructured Data:Simulation Unification , 2002 .

[2]  François Bry,et al.  Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification , 2002, ICLP.

[3]  Michael Hanus,et al.  Curry: an integrated functional logic language (version 0 , 2003 .

[4]  Michael Hanus,et al.  Functional logic programming , 2010, CACM.

[5]  Michael Hanus,et al.  Functional Logic Design Patterns , 2002, FLOPS.

[6]  Michael Hanus,et al.  High-Level Database Programming in Curry , 2008, PADL.

[7]  Michael Hanus,et al.  Declarative Programming with Function Patterns , 2005, LOPSTR.

[8]  M. Hanus,et al.  Curry: An Integrated Functional Logic Language , 2003 .

[9]  Dan Suciu,et al.  Data on the Web: From Relations to Semistructured Data and XML , 1999 .

[10]  Rafael Caballero,et al.  A Functional-Logic Perspective on Parsing , 1999, Fuji International Symposium on Functional and Logic Programming.

[11]  Rachid Echahed,et al.  A needed narrowing strategy , 2000, JACM.

[12]  Ramin Sadre,et al.  Pakcs: The portland aachen kiel curry system , 2000 .

[13]  François Bry,et al.  A gentle introduction to Xcerpt, a rule-based query and transformation language for XML , 2002, RuleML.

[14]  Donald E. Knuth,et al.  Literate Programming , 1984, Comput. J..

[15]  Colin Runciman,et al.  Haskell and XML: generic combinators or type-based translation? , 1999, ICFP '99.

[16]  Sebastian Fischer.  A functional logic database library , 2005, WCFLP '05.

[17]  Rafael Caballero,et al.  Integrating XPath with the Functional-Logic Language Toy , 2011, PADL.

[18]  François Bry,et al.  A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language , 2004, INAP/WLP.

[19]  Michael Hanus,et al.  A Functional Logic Programming Approach to Graphical User Interfaces , 2000, PADL.

[20]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[21]  Joachim Baumeister,et al.  Declaratively Querying and Visualizing Knowledge Bases in Xml , 2004, INAP/WLP.

[22]  Michael Hanus,et al.  Set functions for functional logic programming , 2009, PPDP '09.

[23]  J. C. Gonz Alez-Moreno,et al.  An Approach to Declarative Programming Based on a Rewriting Logic , 2022 .

[24]  Michael Hanus,et al.  Type-oriented construction of web user interfaces , 2006, PPDP '06.

[25]  Michael Hanus,et al.  High-Level Server Side Web Scripting in Curry , 2001, PADL.

[26]  Michael Hanus,et al.  Multi-paradigm Declarative Languages , 2007, ICLP.