Iris
DOI10.1145/2676726.2676980zbMath1346.68135MaRDI 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
invariants; higher-order logic; compositional verification; separation logic; atomicity; fine-grained concurrency; partial commutative monoids
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items