DBScholar

Back to papers

XML Type Checking with Macro Tree Transducers

Summary: Introduces TL, a DTL generalization adding full MSO pattern matching, arbitrary MSO-guided navigation and parameterized procedures. Shows TL (hence DTL) admits effective inverse type inference via translation to compositions of stay macro tree transducers. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
h31af6555a5a80bf1
Venue
PODS
Year
2005
Pagerank
6.7807946e-05
Overall Rank
4,145 | 72.14%
DOI
10.1145/1065167.1065203

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{maneth_pods05,
        address = {New York, NY, USA},
        series = {{PODS} '05},
        title = {{XML Type Checking with Macro Tree Transducers}},
        url = {https://dl.acm.org/doi/10.1145/1065167.1065203},
        doi = {10.1145/1065167.1065203},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Maneth, S. and Berlea, A. and Perst, T. and Seidl, H.},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank Citing Paper Year Venue Pagerank
6,265 XML Transformation by Tree-Walking Transducers with Invisible Pebbles 2007 PODS 5.8305555e-05
7,420 A Crash Course on Database Queries 2007 PODS 5.5326094e-05
8,625 Static Analysis of Graph Database Transformations 2023 PODS 5.2999883e-05
12,656 The Complexity of Text-Preserving XML Transformations 2011 PODS 4.9793485e-05
12,704 A Learning Algorithm for Top-Down XML Transformations 2010 PODS 4.9793485e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
3,343 Frontiers of Tractability for Typechecking Simple XML Transformations 2004 PODS 7.405187e-05
Previous Page 1 / 1 Next

Semantically Similar Papers