[e-lang] THESIS DEFENSE: Pointer Analysis for Java Programs

[David Hopwood]

Mark Miller wrote:
> Seems potentially relevant for enhancing the kind of reasoning that Fred et. 
> al. are trying to do with SCOLL, or that Adrian and David are seeking to apply 
> to Joe-E.

Yes, highly relevant. See also
<http://www.cag.lcs.mit.edu/~rinard/pointer_and_escape_analysis/>
<http://citeseer.ist.psu.edu/whaley99compositional.html>
<http://citeseer.ist.psu.edu/salcianu04combined.html>

www.cag.lcs.mit.edu seems currently to be offline, but the above page is in the
Google cache:
<http://www.google.com/search?q=cache:cag.csail.mit.edu/~rinard/pointer_and_escape_analysis/>

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>