XML Type Checking Using High-Level Tree Transducer

DOI10.1007/11737414_7MaRDI QIDQ3434627zbMATH OpenOpenAlexFDO

Authors Akihiko Tozawa

Publication date 2 May 2007

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11737414_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Typechecking for XML transformers
• Type checking of tree walking transducers
• scientific article; zbMATH DE number 1953124
• On the complexity of typechecking top-down XML transformations
• The time complexity of typechecking tree-walking tree transducers

Cited in

(8)

• Backward type inference for XML queries
• Efficiently deciding -calculus with converse over finite trees
• Type checking of tree walking transducers
• scientific article; zbMATH DE number 7559409 (Why is no real title available?)
• Functional programs as compressed data
• Database Theory - ICDT 2005
• XML graphs in program analysis
• Verification of tree-processing programs via higher-order model checking

This page was built for publication: XML Type Checking Using High-Level Tree Transducer

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