type inference algorithm


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