Formalizing the SAFECode Type System
No abstract available.
DOI 10.1007/978-3-319-03545-1_14
Related papers
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- A formalization of typed lua DLS 2015
- Formal Parametric Polymorphism POPL 1993
- A mechanical formalization of higher-ranked polymorphic type inference ICFP 2019
- TinkerType: a language for playing with formal systems JFP 2003
- System FR: formalized foundations for the stainless verifier OOPSLA 2019
- Javalight is Type-Safe - Definitely POPL 1998
- A Formal Treatment of Bidirectional Typing ESOP 2024