It appears you don't have support to open PDFs in this web browser. To view this file, Open with your PDF reader
Details
Title
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Author
Jung, Ralf 1 ; Krebbers, Robbert 2 ; JACQUES-HENRI JOURDAN 1 ; Bizjak, Aleš 3 ; Birkedal, Lars 3 ; Dreyer, Derek 1
1 MPI-SWS, Germany e-mails: [email protected], [email protected], [email protected]
2 Delft University of Technology, The Netherlands e-mail: [email protected]
3 Aarhus University, Denmark e-mails: [email protected], [email protected]
1 MPI-SWS, Germany e-mails: [email protected], [email protected], [email protected]
2 Delft University of Technology, The Netherlands e-mail: [email protected]
3 Aarhus University, Denmark e-mails: [email protected], [email protected]
Section
Regular Paper
Publication year
2018
Publication date
2018
ISSN
09567968
e-ISSN
14697653
Source type
Scholarly Journal
Language of publication
English
ProQuest document ID
2309687433
Copyright
© 2018 This article is published under (https://creativecommons.org/licenses/by/3.0/) (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.