Word Equations as Abstract Domain for String Manipulating Programs.

Antonina Nepeivoda

Browse the full FMCAD paper archive.