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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

DOI

  • Lau Skorstengaard
  • ,
  • Dominique Devriese, imec-Distrinet, KU Leuven, Belgium
  • ,
  • Lars Birkedal
Original languageEnglish
Title of host publicationProgramming Languages and Systems
EditorsAmal Ahmed
Number of pages27
Volume10801
Place of publicationCham
PublisherSpringer VS
Publication year2018
Pages475-501
ISBN (print)978-3-319-89884-1
DOIs
Publication statusPublished - 2018
EventEuropean Symposium on Programming - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
Conference number: 27
http://www.etaps.org/index.php/2018/esop

Conference

ConferenceEuropean Symposium on Programming
Nummer27
LandGreece
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SeriesLecture Notes in Computer Science (LNCS)
Number10801
ISSN0302-9743

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 138167863