Type Checking Systems Code
Abstract elided by the publisher.
Related papers
- Type-Checking Smalltalk OOPSLA 1986
- CCured: type-safe retrofitting of legacy code POPL 2002
- Verus: Verifying Rust Programs using Linear Ghost Types OOPSLA 2023
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- A Type System for Expressive Security Policies POPL 2000
- Integrating typed and untyped code in a scripting language POPL 2010
- Fast and precise type checking for JavaScript OOPSLA 2017
- Sound type-dependent syntactic language extension POPL 2016