A static analysis for extracting runtime views from annotated object-oriented code.

Marwan Abi-Antoun, Jonathan Aldrich

Browse the full OOPSLA paper archive.