Computing Simulations over Tree Automata
No abstract available.
Related papers
- Reduction of Nondeterministic Tree Automata TACAS 2016
- SPIRIT: a runtime system for distributed irregular tree applications PPoPP 2016
- Fast: a transducer-based language for tree manipulation PLDI 2014
- Verifying Quantum Circuits with Level-Synchronized Tree Automata POPL 2025
- Fast Algorithms for Handling Diagonal Constraints in Timed Automata CAV 2019
- Synthesis of data completion scripts using finite tree automata OOPSLA 2017
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013