Amanote Research
Register
Sign In
Frontiers of Tractability for Typechecking Simple XML Transformations
doi 10.1145/1055558.1055563
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Wim Martens
Frank Neven
Publisher
ACM Press
Related search
Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Toward the Automatic Derivation of XML Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From UML to Performance Models by XML Transformations
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
XOgastan: XML-oriented GCC AST Analysis and Transformations
Tridirectional Typechecking
Towards Practical Typechecking for Macro Tree Transducers
A Class of Ergodic Transformations Having Simple Spectrum
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
On Tractability of Path Integration
Journal of Mathematical Physics
Nonlinear Physics
Mathematical Physics
Statistical
