On Weak Modal Compatibility, Refinement, and the MIO Workbench
No abstract available.
Related papers
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Migrating custom DSL implementations to a language workbench (tool demo) SLE 2018
- Modular Relaxed Dependencies in Weak Memory Concurrency ESOP 2020
- Mio: a high-performance multicore io manager for GHC Haskell 2013
- An existential crisis resolved: type inference for first-class existential types ICFP 2021
- MIO: Multiverse Debugging in the Face of Input/Output OOPSLA 2025
- Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking CAV 2002
- Oxidizing OCaml with Modal Memory Management ICFP 2024