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

Downloads