Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis.

Shuanglong Kan, Anthony W. Lin

Browse the full CPP paper archive.