Modular Termination Verification.

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

Browse the full ECOOP paper archive.