Context-Sensitive Multivariant Assertion Checking in Modular Programs.

Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo

Browse the full LPAR paper archive.