A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.

Mario Mndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.