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

DOI

  • Lau Skorstengaard
  • ,
  • Dominique Devriese, Vrije Universitet Bruxelles, Belgium
  • Lars Birkedal
Original languageEnglish
Article number5
JournalA C M Transactions on Programming Languages and Systems
Volume41
Issue4
Number of pages53
ISSN0164-0925
DOIs
Publication statusPublished - 2019

See relations at Aarhus University Citationformats

ID: 163399866