Static analysis for path correctness of XML queries

DOI10.1017/S0956796806005983MaRDI QIDQ5482283zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

Uses Software

• XDuce
• CDuce

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)