Re: [abc] OOPSLA paper

On Wed, Aug 03, 2005 at 10:54:50AM -0400, Ondrej Lhotak wrote:
> Well, nothing that's exactly like what we would need, in particular
> tracking objects through time. The closest recent thing is the POPL 05
> paper by Hackett and Rugina, which I think would be a good starting
> point for this kind of thing.

I should add that this paper did seem to be somewhat related to your PhD
thesis and to shape analysis in general.

Ondrej
Received on Wed Aug 3 15:59:34 2005