A Compositional Logic for Control Flow
Abstract elided by the publisher.
Related papers
- Historia: Refuting Callback Reachability with Message-History Logics OOPSLA 2023
- Compositional Quantum Control Flow with Efficient Compilation in Qunity OOPSLA 2025
- Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis OOPSLA 2024
- Mechanized logical relations for termination-insensitive noninterference POPL 2021
- Back to Direct Style: Typed and Tight OOPSLA 2023
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- Collecting hollywood's garbage: avoiding space-leaks in composite events ISMM 2010
- The Logical Essence of Well-Bracketed Control Flow POPL 2024