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

Thu, 01 Jan 2009 00:00:00 +0100

Brian Demsky, Martin C. Rinard:
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs. IEEE Trans. Software Eng. 35(3): 305-324 (2009)