[PL-sem-jr] rely/guarantee

Aaron Turon turon at ccs.neu.edu
Thu Jan 28 12:57:05 EST 2010

Attached is a PDF giving all of the technical material I presented for
Jones's R/G logic, together with the example that we didn't get to.  I
haven't thoroughly bottomed out the example proof, so there may be
mistakes.  Let me know if you find any.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: rg.pdf
Type: application/pdf
Size: 82005 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/pl-sem-jr/attachments/20100128/f272179d/attachment-0001.pdf 

More information about the Pl-sem-jr mailing list