Frontiers of Tractability for Typechecking Simple XML Transformations

doi 10.1145/1055558.1055563

Full Text

Abstract

Available in

Date

Authors

Publisher

ACM Press

Related search

Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2008English

Toward the Automatic Derivation of XML Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Tridirectional Typechecking

2004English

XOgastan: XML-oriented GCC AST Analysis and Transformations

English

From UML to Performance Models by XML Transformations

English

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Towards Practical Typechecking for Macro Tree Transducers

English

A Class of Ergodic Transformations Having Simple Spectrum

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1971English

On Tractability of Path Integration

Journal of Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy