Type-based XML processing in logic programming

DOI10.1007/3-540-36388-2_19MaRDI QIDQ4415112zbMATH OpenFDO

Authors Jorge Coelho, Mário Florido

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2562/25620273.htm

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Querying XML documents in logic programming
• Programming Languages and Systems
• A type system for logic programs
• XML with data values: Typechecking revisited.
• Typechecking for XML transformers

Cited in

(5)

• Declarative processing of semistructured web data
• Querying XML documents in logic programming
• Generic validation of structural content with parametric modules
• Database Theory - ICDT 2005
• Programming Languages and Systems

This page was built for publication: Type-based XML processing in logic programming

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