Equivalence of Extended Symbolic Finite Transducers
Abstract elided by the publisher.
Related papers
- 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
- Fast: A Transducer-Based Language for Tree Manipulation TOPLAS 2015
- Fast: a transducer-based language for tree manipulation PLDI 2014
- Automatic program inversion using symbolic transducers PLDI 2017
- Iterating Transducers in the Large (Extended Abstract) CAV 2003
- String constraints with concatenation and transducers solved efficiently POPL 2018