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)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,716 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3561157e-05 |
| 7,238 | A Crash Course on Database Queries | 2007 | PODS | 4.7928464e-05 |
| 8,450 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5086643e-05 |
| 12,169 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1945683e-05 |
| 12,218 | A Learning Algorithm for Top-Down XML Transformations | 2010 | PODS | 4.1945683e-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 |
|---|---|---|---|---|
| 2,150 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4255252e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,291 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7741469e-05 |
| 13,753 | On the Power of Walking for Querying Tree-Structured Data | 2002 | PODS | - |
| 12,217 | Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages | 2010 | PODS | 4.1945683e-05 |
| 3,427 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.1033924e-05 |
| 13,674 | Trees, Automata and XML (Invited Tutorial) | 2004 | PODS | - |
| 12,430 | Expressiveness and Complexity of XML Publishing Transducers | 2007 | PODS | 4.1945683e-05 |
| 12,169 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1945683e-05 |
| 5,716 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3561157e-05 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014939578 |
| 2,150 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4255252e-05 |