Lambda the Ultimate

inactiveTopic Proof-Carrying Code (overview)
started 7/21/2002; 10:18:26 AM - last post 7/25/2002; 11:23:51 AM
Ehud Lamm - Proof-Carrying Code (overview)  blueArrow
7/21/2002; 10:18:26 AM (reads: 1251, responses: 1)
Proof-Carrying Code (overview)
A concise introduction to PCC.

Notice the annotated PCC bibliography.


Posted to Software-Eng by Ehud Lamm on 7/21/02; 10:18:41 AM

Alex Sauer-Budge - Re: Proof-Carrying Code (overview)  blueArrow
7/25/2002; 11:23:51 AM (reads: 411, responses: 0)
The links in this topic headline have changed. The overview is now at http://raw.cs.berkeley.edu/pcc.html, while the annotated PCC bibliography is now at http://raw.cs.berkeley.edu/papers.html#annotated.