[PL-sem-jr] rely/guarantee

[Aaron Turon]

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.

Cheers,
Aaron
-------------- 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