Compositional Model Extraction for Higher-Order Concurrent Programs
Abstract elided by the publisher.
Related papers
- The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding POPL 2023
- Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR CPP 2025
- Compositional Security Definitions for Higher-Order Where Declassification OOPSLA 2023
- The Chemical Abstract Machine POPL 1990
- Composing First-Class Transactions TOPLAS 1994
- A relational model of types-and-effects in higher-order concurrent separation logic POPL 2017
- Proof-producing synthesis of ML from higher-order logic ICFP 2012
- Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement POPL 2024