Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Original languageEnglish
JournalACM Transactions on Programming Langauges and Systems (TOPLAS)
Number of pages53
Publication statusAccepted/In press - 2019

See relations at Aarhus University Citationformats

ID: 163399866