Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
New York, NY, USA / ACM (2019) [Contribution to a conference proceedings, Journal Article]
Proceedings of the ACM on programming languages
Volume: 3
Issue: POPL
Page(s): 34
Authors
Authors
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Noll, Thomas
Identifier
- DOI: 10.1145/3290347
- REPORT NUMBER: RWTH-2019-00833