[PRL] Modular Analysis via Abstract Reduction Semantics

[David Van Horn]

Thanks to everyone for helping -- our submission is much stronger than 
it was at the beginning of the week (and we still have a lot of feedback 
we want to incorporate).  You can find the submitted version at the same 
URL below.

On 10/5/10 11:12 AM, David Van Horn wrote:
> Sam and I have been working on modular analysis for a language with
> contracts.  We're submitting to ESOP on Friday and would appreciate any
> feedback from the PRL.
>
>      http://www.ccs.neu.edu/home/dvanhorn/tmp/modular.pdf

Thanks again,
David (and Sam)