A semantic model of types and machine instructions for proof-carrying code

by Amy P. Felty
Venue:In Principles of Programming Languages
Citations:127 - 17 self

Document Versions

A semantic model of types and machine instructions for proof-carrying code –Amy P. Felty — In Principles of Programming Languages
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code –Andrew W. Appel, Amy P. Felty — 2000 — In Twenty-Seventh ACM Symposium on Principles of Programming Languages
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code –Andrew Appel, Amy Felty — 1999 — In Twenty-Seventh ACM Symposium on Principles of Programming Languages