Characterizing Behavioural Semantics and Abstractor Semantics
Abstract elided by the publisher.
Related papers
- A Semantics for ML Concurrency Primitives POPL 1992
- Proving the unique fixed-point principle correct: an adventure with category theory ICFP 2011
- Modeling Infinite Behaviour by Corules ECOOP 2018
- Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice OOPSLA 2025
- The Semantics of Scheme with Future ICFP 1996
- Vulkan Vision: Ray Tracing Workload Characterization using Automatic Graphics Instrumentation CGO 2021
- An operational semantics and type safety prooffor multiple inheritance in C++ OOPSLA 2006
- The missing link: explaining ELF static linking, semantically OOPSLA 2016