Iris
DOI10.1145/2676726.2676980zbMath1346.68135OpenAlexW2147323041MaRDI QIDQ2819854
Derek R. Dreyer, Kasper Svendsen, Filip Sieczkowski, Aaron Joseph Turon, David Swasey, Ralf Jung, Lars Birkedal
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676980
invariantshigher-order logiccompositional verificationseparation logicatomicityfine-grained concurrencypartial commutative monoids
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (23)
This page was built for publication: Iris