Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
VXT: a visual approach to XML transformations
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Towards automating of document structure transformations
Proceedings of the 2002 ACM symposium on Document engineering
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Transformation of Documents and Schemas by Patterns and Contextual Conditions
PODP '96 Proceedings of the Third International Workshop on Principles of Document Processing
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
On modular transformation of structural content
Proceedings of the 2004 ACM symposium on Document engineering
Validation of dynamic Web pages generated by an embedded scripting language: Research Articles
Software—Practice & Experience
Graph homomorphism revisited for graph matching
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
We propose a principled method to specify XML document transformation so that the outcome of a transformation can be ensured to conform to certain structural constraints as required by the target XML document type. We view XML document types as graphs, and model transformations as relations between the two graphs. Starting from this abstraction, we use and extend graph homomorphism as a formalism for the specifications of transformations between XML document types. A specification can then be checked to ensure whether results from the transformation will always be structure-conforming.