Subject: type inference algorithm
From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Fri Apr 05 2002 - 14:27:29 PST
Next week in the Cecil group meeting, we're going to do a code review of
the type inference algorithm that Val Kostadinov and I are developing for
AliasJava. Background reading for the code review comes from sections of
our OOPSLA submission, found at:
http://www.archjava.org/oopsla02-submission.pdf
The type inference algorithm is described in section 5, and the code
review will focus on solving the system of constraints defined in
subsection 5.3. You should probably also scan section 3 to get a basic
understanding of what we're trying to do.
We'll bring a more concrete description of the constraint-solving
algorithm, as well as copies of the source code, to the meeting next
Thursday.
See you then!
Jonathan
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Apr 05 2002 - 14:28:07 PST