The Power of Symbolic Automata and Transducers
Abstract elided by the publisher.
Related papers
- Symbolic finite state transducers: algorithms and applications POPL 2012
- Fast: A Transducer-Based Language for Tree Manipulation TOPLAS 2015
- Fast: a transducer-based language for tree manipulation PLDI 2014
- Solving string constraints with Regex-dependent functions through transducers with priorities and variables POPL 2022
- String constraints with concatenation and transducers solved efficiently POPL 2018
- Minimization of Symbolic Transducers CAV 2017
- Equivalence of Extended Symbolic Finite Transducers CAV 2013
- Static Analysis of Communicating Processes Using Symbolic Transducers VMCAI 2017