Static analysis for path correctness of XML queries

DOI10.1017/S0956796806005983zbMATH Open1122.68041OpenAlexW2167675437WikidataQ57616970 ScholiaQ57616970MaRDI QIDQ5482283FDOQ5482283

C. Sartiani, Paolo Manghi, G. Ghelli, D. Colazzo

Publication date: 28 August 2006

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796806005983

Recommendations

• Types for path correctness of XML queries
• XML with data values: Typechecking revisited.
• Theoretical Computer Science
• FLUX: functional updates for XML
• XQuery and static typing: tackling the problem of backward axes

Mathematics Subject Classification ID

Data structures (68P05) Functional programming and lambda calculus (68N18)

Cited In (2)

• Theoretical Computer Science
• Mechanizing the Metatheory of mini-XQuery

Uses Software

• CDuce
• XDuce

This page was built for publication: Static analysis for path correctness of XML queries

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