# Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

> Research article (Proceedings of the ACM on Programming Languages, 2024) · cited 12× · AI/ML

**Wikidata**: [openalex:W4396215524](https://www.wikidata.org/wiki/openalex:W4396215524)  
**Source**: https://4ort.xyz/entity/outcome-separation-logic-local-reasoning-for-correctness-and-incorrectness-with-computational-effects