Quantitative separation logic: a logic for reasoning about probabilistic pointer programs.
Kevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaThomas NollPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- formal theory
- probability theory
- probabilistic logic
- logic programming
- modal logic
- predicate logic
- classical logic
- sound and complete axiomatization
- logical inference
- modal operators
- automated reasoning
- proof theory
- dynamic logic
- nonmonotonic logics
- qualitative and quantitative
- generative model
- neural network
- databases
- computational properties
- quantitative and qualitative
- source code
- asynchronous circuits
- description logics
- bayesian networks
- genetic algorithm