Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/popl/JungSSSTBD15
%A Jung, Ralf
%A Swasey, David
%A Sieczkowski, Filip
%A Svendsen, Kasper
%A Turon, Aaron
%A Birkedal, Lars
%A Dreyer, Derek
%B POPL
%D 2015
%E Rajamani, Sriram K.
%E Walker, David
%I ACM
%K dblp
%P 637-650
%T Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
%U http://dblp.uni-trier.de/db/conf/popl/popl2015.html#JungSSSTBD15
%@ 978-1-4503-3300-9
@inproceedings{conf/popl/JungSSSTBD15,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Jung, Ralf and Swasey, David and Sieczkowski, Filip and Svendsen, Kasper and Turon, Aaron and Birkedal, Lars and Dreyer, Derek},
biburl = {https://www.bibsonomy.org/bibtex/21f2b2f5babc7c1750966b5574b342a4f/dblp},
booktitle = {POPL},
crossref = {conf/popl/2015},
editor = {Rajamani, Sriram K. and Walker, David},
ee = {https://doi.org/10.1145/2775051.2676980},
interhash = {5415869746ce45e92510f06630fab55f},
intrahash = {1f2b2f5babc7c1750966b5574b342a4f},
isbn = {978-1-4503-3300-9},
keywords = {dblp},
pages = {637-650},
publisher = {ACM},
timestamp = {2024-04-12T14:41:56.000+0200},
title = {Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.},
url = {http://dblp.uni-trier.de/db/conf/popl/popl2015.html#JungSSSTBD15},
year = 2015
}