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.

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.