A declarative embedding of XQuery in a functional-logic language

DOI10.1007/978-3-642-32211-2_4MaRDI QIDQ4909312zbMATH OpenOpenAlexFDO

Authors Jesús M. Almendros-Jiménez, Y. García-Ruiz, F. Sáenz-Pérez, Rafael Caballero

Publication date 13 March 2013

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32211-2_4

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 2090532
• Mechanizing the metatheory of mini-XQuery
• Declarative processing of semistructured web data
• Querying XML documents in logic programming
• scientific article; zbMATH DE number 1962796

Cited in

(3)

• Declarative processing of semistructured web data
• Mechanizing the metatheory of mini-XQuery
• scientific article; zbMATH DE number 1962796 (Why is no real title available?)

This page was built for publication: A declarative embedding of XQuery in a functional-logic language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909312)