Quantified Heap Invariants for Object-Oriented Programs.

Temesghen Kahsai, Rody Kersten, Philipp Rmmer, Martin Schf

Browse the full LPAR paper archive.