StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

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

DOI

  • Lau Skorstengaard
  • ,
  • Dominique Devriese, Vrije Universitet Bruxelles, Belgium
  • Lars Birkedal
Original languageEnglish
Article number19
JournalProceedings of the ACM on Programming Languages
Volume3
IssuePOPL
Number of pages28
DOIs
Publication statusPublished - 2019
EventPrinciples of Programming Languages - Cascais, Portugal
Duration: 13 Jan 201919 Mar 2019
Conference number: 46
https://popl19.sigplan.org/

Conference

ConferencePrinciples of Programming Languages
Number46
CountryPortugal
CityCascais
Period13/01/201919/03/2019
Internet address

See relations at Aarhus University Citationformats

ID: 172251542