Static analysis for path correctness of XML queries

DOI10.1017/S0956796806005983zbMATH Open1122.68041OpenAlexW2167675437WikidataQ57616970 ScholiaQ57616970MaRDI QIDQ5482283FDOQ5482283

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

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 (5)

• Theoretical Computer Science
• FLUX: functional updates for XML
• Types for path correctness of XML queries
• XQuery and static typing: tackling the problem of backward axes
• 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)