Exploring Quantitative Separation Logic A Logic For Reasoning About Probabilistic Pointer Programs
If you are looking for information about Quantitative Separation Logic A Logic For Reasoning About Probabilistic Pointer Programs, you have come to the right place.
- SAQR-QC: A
- Separation logic
- Oregon
- Presenter: Jonas Kastberg Hinrichsen Presented at POPL'2020.
- In the quest for tractable
In-Depth Information on Quantitative Separation Logic A Logic For Reasoning About Probabilistic Pointer Programs
Paper and supplementary material: ... Paper and supplementary material: ... Presenter: Kevin Liao Presented at POPL'2020. Abstract:
https://popl22.sigplan.org/track/POPL-2022-student-research-competition
We hope this detailed breakdown of Quantitative Separation Logic A Logic For Reasoning About Probabilistic Pointer Programs was helpful.
