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

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

Dokumenter

  • 3290332

    Forlagets udgivne version, 534 KB, PDF-dokument

DOI

  • Lau Skorstengaard
  • ,
  • Dominique Devriese, Vrije Universitet Bruxelles, Belgien
  • Lars Birkedal
OriginalsprogEngelsk
Artikelnummer19
TidsskriftProceedings of the ACM on Programming Languages
Vol/bind3
NummerPOPL
Antal sider28
DOI
StatusUdgivet - 2019
BegivenhedPrinciples of Programming Languages - Cascais, Portugal
Varighed: 13 jan. 201919 mar. 2019
Konferencens nummer: 46
https://popl19.sigplan.org/

Konference

KonferencePrinciples of Programming Languages
Nummer46
LandPortugal
ByCascais
Periode13/01/201919/03/2019
Internetadresse

Se relationer på Aarhus Universitet Citationsformater

ID: 172251542