Subject: [Fwd: cool class analysis stuff]
From: Craig Chambers (chambers@cs.washington.edu)
Date: Fri Jul 06 2001 - 19:32:03 PDT
FYI.
Robert O'Callahan wrote:
>
> Hey, have you had a look at this?
> http://www.cs.jhu.edu/~scott/pll/constraints/papers/ecoop01.ps.gz
>
> Although it's a bit more limited than my stuff in some ways (limited
> polymorphism), it's obviously a lot more powerful in other ways (flow
> sensitive), and they get much better results than me for downcast
> checking. I bet that raw class analysis (e.g., for virtual method call
> resolution) using this method is really really good. Their efficiency
> comes from the fact that they only care about the classes of objects and
> cannot distinguish objects of the same class. Unfortunately it obsoletes
> a lot of what I was planning to write about, but it's very cool anyway...
>
> Rob
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Jul 06 2001 - 19:32:04 PDT