TY  - RPRT
TI  - Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
AU  - James Li
AU  - Noam Zilberstein
AU  - Alexandra Silva
PY  - 2025
UR  - https://arxiv.org/abs/2411.00197
ID  - 2411.00197
ER  -