XML Type Checking Using High-Level Tree Transducer

DOI10.1007/11737414_7zbMath1185.68203OpenAlexW1601074242MaRDI QIDQ3434627

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)

Related Items (6)

Backward type inference for XML queries ⋮ Efficiently Deciding μ-Calculus with Converse over Finite Trees ⋮ Functional programs as compressed data ⋮ XML graphs in program analysis ⋮ Verification of tree-processing programs via higher-order mode checking ⋮ Unnamed Item

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