Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

Research output: Book/Report › Other report

Fingerprint

Dive into the research topics of 'Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details'. Together they form a unique fingerprint.

Engineering & Materials Science