Simulation-Based Iteration of Tree Transducers
No abstract available.
Related papers
- Iterating Transducers CAV 2001
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Iterating Transducers in the Large (Extended Abstract) CAV 2003
- Fast: a transducer-based language for tree manipulation PLDI 2014
- Fast: A Transducer-Based Language for Tree Manipulation TOPLAS 2015
- Composition of functions with accumulating parameters JFP 2004
- Computing Simulations over Tree Automata TACAS 2008
- Parameterized Verification of Quantum Circuits POPL 2026