Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects.

Saved in:

Bibliographic Details
Title:	Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects.
Authors:	Zilberstein, Noam¹ (AUTHOR) noamz@cs.cornell.edu
Source:	ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-71. 71p.
Database:	Business Source Ultimate

Description
ISSN:	01640925
DOI:	10.1145/3743131