A semantic model of types and machine instructions for proof-carrying code
Cached
Download Links
by
Amy P. Felty
| Venue: | In Principles of Programming Languages |
| Citations: | 122 - 16 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 |
