XML type checking using high-level tree transducer

Authors:
Akihiko Tozawa
Affiliations:
Tokyo Research Laboratory, IBM Japan ltd., IBM Research, Japan
Venue:
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Year:
2006

Citing 11
Cited 5

High level tree transducers and iterated pushdown tree transducers

Acta Informatica
Finite automata

Handbook of theoretical computer science (vol. B)
Foundations of programming languages

Foundations of programming languages
Typechecking for XML transformers

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular expression types for XML

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Typechecking Top-Down Uniform Unranked Tree Transducers

ICDT '03 Proceedings of the 9th International Conference on Database Theory
Semantic Subtyping

LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular expression pattern matching for XML

Journal of Functional Programming
Static Analysis of XML Transformations in Java

IEEE Transactions on Software Engineering
XML type checking with macro tree transducers

Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Higher-order multi-parameter tree transducers and recursion schemes for program verification

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards practical typechecking for macro tree transducers

DBPL'07 Proceedings of the 11th international conference on Database programming languages
Verification of tree-processing programs via higher-order model checking

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
XML validation for context-free grammars

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Model Checking Higher-Order Programs

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

XML type checking recently attracts interests of researchers. We discuss this problem for programs using higher order functions. In particular, we discuss programs modeled by the high-level tree transducer which was introduced by Engelfriet. We give one algorithm of XML type checking for this transducer.