Enforcing Safety Properties Using Type Specialization
No abstract available.
Related papers
- Program specialization for execution monitoring JFP 2003
- A Type System for Expressive Security Policies POPL 2000
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code POPL 2023
- Guilt free ivory Haskell 2015
- Best-Effort Safety Control of Multi-mode Systems CAV 2026
- How to Win First-Order Safety Games VMCAI 2020
- ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models POPL 2026
- Dynamic multirole session types POPL 2011