Integrating XPath with the functional-logic language toy

Authors:
Rafael Caballero;Yolanda García-Ruiz;Fernando Sáenz-Pérez
Affiliations:
Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain;Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, Spain;Departamento de Ingeniería del Software e Inteligencia Artificial, Universidad Complutense de Madrid, Spain
Venue:
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Year:
2011

Citing 9
Cited 4

XPath: Looking Forward

EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
A Functional-Logic Perspective on Parsing

FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
TOY: A Multiparadigm Declarative System

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Monadic parsing in Haskell

Journal of Functional Programming
The Zipper

Journal of Functional Programming
XQuery

XQuery
XHaskell --- Adding Regular Expression Types to Haskell

Implementation and Application of Functional Languages
An Encoding of XQuery in Prolog

XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
XML Path Language (XPath) 2.0 Standard

XML Path Language (XPath) 2.0 Standard

XQuery in the functional-logic language toy

WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
XPath Query Processing in a Functional-Logic Language

Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative embedding of XQuery in a functional-logic language

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Transparent function types: clearing up opacity

Proceedings of the 14th symposium on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a programming framework for incorporating XPath queries into the functional-logic language TOY. The proposal exploits the language characteristics, including non-determinism, logic variables, and higher-order functions and patterns. Our setting covers a wide range of standard XPath axes and tests. In particular reverse axes are implemented thanks to the double nature of XPath queries, which are both higher-order functions and data terms in our setting. The combination of these two different worlds, the functional-logic paradigm and the XML query language XPath, is very enriching for both of them. From the point of view of functional-logic programming, the language is now able to deal with XML documents in a very simple way. From the point of view of XPath, our approach presents several nice properties as the generation of XML test-cases for XPath queries, which can be useful for finding bugs in erroneous queries.