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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Dokumenter

DOI

  • Lau Skorstengaard
  • ,
  • Dominique Devriese, imec-Distrinet, KU Leuven, Belgium
  • ,
  • Lars Birkedal
OriginalsprogEngelsk
TitelProgramming Languages and Systems
RedaktørerAmal Ahmed
Antal sider27
Vol/bind10801
UdgivelsesstedCham
ForlagSpringer VS
Udgivelsesår2018
Sider475-501
ISBN (trykt)978-3-319-89884-1
DOI
StatusUdgivet - 2018
BegivenhedEuropean Symposium on Programming - Thessaloniki, Grækenland
Varighed: 14 apr. 201820 apr. 2018
Konferencens nummer: 27
http://www.etaps.org/index.php/2018/esop

Konference

KonferenceEuropean Symposium on Programming
Nummer27
LandGrækenland
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SerietitelLecture Notes in Computer Science (LNCS)
Nummer10801
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

Download-statistik

Ingen data tilgængelig

ID: 138167863