Foundational Proof-Carrying Code

Andrew W. Appel. Foundational Proof-Carrying Code. In LICS. pages 247-256, 2001.

Abstract

Abstract is missing.