String Analysis as an Abstract Interpretation.

Se-Won Kim, Kwang-Moo Choe

Browse the full VMCAI paper archive.