Static analysis for path correctness of XML queries

DOI10.1017/S0956796806005983zbMath1122.68041OpenAlexW2167675437WikidataQ57616970 ScholiaQ57616970MaRDI QIDQ5482283

Paolo Manghi, Carlo Sartiani, Giorgio Ghelli, Dario 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

Mathematics Subject Classification ID

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

Related Items (1)

Mechanizing the Metatheory of mini-XQuery

Uses Software

• CDuce
• XDuce

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