Semantic model of types and machine instructions for proof-carrying code

Andrew W. Appel, Amy P. Felty

Research output: Contribution to journalConference articlepeer-review

91 Scopus citations

Fingerprint Dive into the research topics of 'Semantic model of types and machine instructions for proof-carrying code'. Together they form a unique fingerprint.

Engineering & Materials Science