Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

Jung, Ralf and Swasey, David and Sieczkowski, Filip and Svendsen, Kasper and Turon, Aaron and Birkedal, Lars and Dreyer, Derek
(2015) Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
In: Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Full text not available from this repository.
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: pub_id: 1299 Bibtex: DBLP:conf/popl/JungSSSTBD15 URL date: None
Divisions: Unspecified
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages
Depositing User: Sebastian Weisgerber
Date Deposited: 26 Jul 2017 10:30
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/531

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.