The Essence of Higher-Order Concurrent Separation Logic

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

  • Robbert Krebbers, Delft University of Technology, Delft, The Netherlands
  • ,
  • Ralf Jung, MPI-SWS, Saarbruecken, Denmark
  • Aleš Bizjak
  • ,
  • Jacques-Henri Jourdan, MPI-SWS, Saarbruecken, Germany
  • Derek Dreyer, MPI-SWS, Saarbruecken, Germany
  • Lars Birkedal
Original languageEnglish
Title of host publicationProgramming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017, Proceedings
EditorsHongseok Yang
Number of pages28
Place of publicationSpringer, Berlin, Heidelberg
PublisherSpringer VS
Publication year19 Mar 2017
Pages696-723
ISBN (print)978-3-662-54433-4
ISBN (Electronic)978-3-662-54434-1
DOIs
Publication statusPublished - 19 Mar 2017
EventEuropean Symposium on Programming - http://www.etaps.org/index.php/2017/esop, Uppsala, Sweden
Duration: 22 Apr 201729 Apr 2017
Conference number: 26

Conference

ConferenceEuropean Symposium on Programming
Nummer26
Locationhttp://www.etaps.org/index.php/2017/esop
LandSweden
ByUppsala
Periode22/04/201729/04/2017
SeriesLecture Notes in Computer Science
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 119263940