Minimization of Symbolic Transducers
No abstract available.
Related papers
- Equivalence of Extended Symbolic Finite Transducers CAV 2013
- The Power of Symbolic Automata and Transducers CAV 2017
- Static Analysis of Communicating Processes Using Symbolic Transducers VMCAI 2017
- Symbolic finite state transducers: algorithms and applications POPL 2012
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis CPP 2026
- Automatic program inversion using symbolic transducers PLDI 2017
- Fast: A Transducer-Based Language for Tree Manipulation TOPLAS 2015