Dreyer, Derek Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
3586045.pdf (Publisher version), 369KB
Zilberstein, N., Dreyer, D., & Silva, A. (2023). Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages, 7(OOPSLA1): 93, pp. 522-550. doi:10.1145/3586045.