"Automatic Extraction of Heap Reference Properties in Object-Oriented Programs."

Brian Demsky, Martin C. Rinard (2009)

Details and statistics

DOI: 10.1109/TSE.2008.91

access: closed

type: Journal Article

metadata version: 2017-05-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics