Subject: alias annotations paper draft
From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Thu Mar 21 2002 - 13:57:30 PST
Craig, Valentin (an undergrad working with us) and I are planning to
submit a paper to OOPSLA tomorrow evening. The paper, "Alias Annotations
for Program Understanding," describes an annotation system that places
structural and temporal bounds on aliasing within an object-oriented
program. We also have a formalization based on Featherweight Java and a
annotation inference system based on type instantiation constraints.
If you are interested in reading the paper today or tomorrow, we would
definitely appreciate your feedback on the paper. It's complete except
for references and the experience section. Here is a link:
http://www.cs.washington.edu/homes/jonal/data-sharing-11.pdf
Thanks!
Jonathan
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Thu Mar 21 2002 - 13:58:07 PST