Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs.

Ashish Mishra, Suresh Jagannathan

Browse the full ECOOP paper archive.