Symbolic finite state transducers: algorithms and applications.

Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj S. Bjrner

Browse the full POPL paper archive.