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,726 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3509726e-05 |
| 7,234 | A Crash Course on Database Queries | 2007 | PODS | 4.7882493e-05 |
| 8,442 | Static Analysis of Graph Database Transformations | 2023 | PODS | 4.5043421e-05 |
| 12,177 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1905499e-05 |
| 12,226 | A Learning Algorithm for Top-Down XML Transformations | 2010 | PODS | 4.1905499e-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,155 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4164126e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,288 | Static Analysis of Active XML Systems | 2008 | PODS | 4.7695781e-05 |
| 13,767 | On the Power of Walking for Querying Tree-Structured Data | 2002 | PODS | - |
| 12,225 | Simplifying XML Schema: Single-Type Approximations of Regular Tree Languages | 2010 | PODS | 4.1905499e-05 |
| 3,434 | XML with Data Values: Typechecking Revisited | 2001 | PODS | 7.0965116e-05 |
| 13,688 | Trees, Automata and XML (Invited Tutorial) | 2004 | PODS | - |
| 12,439 | Expressiveness and Complexity of XML Publishing Transducers | 2007 | PODS | 4.1905499e-05 |
| 12,177 | The Complexity of Text-Preserving XML Transformations | 2011 | PODS | 4.1905499e-05 |
| 5,726 | XML Transformation by Tree-Walking Transducers with Invisible Pebbles | 2007 | PODS | 5.3509726e-05 |
| 970 | Typechecking for XML Transformers | 2000 | PODS | 0.00014924533 |
| 2,155 | Frontiers of Tractability for Typechecking Simple XML Transformations | 2004 | PODS | 9.4164126e-05 |