Formalizing, Mechanizing, and Verifying Class-Based Refinement Types
No abstract available.
DOI 10.4230/lipics.ecoop.2024.39
Related papers
- Safe couplings: coupled refinement types ICFP 2022
- Refinement types for secure implementations TOPLAS 2011
- Flux: Liquid Types for Rust PLDI 2023
- Mechanizing Refinement Types POPL 2024
- Type-based data structure verification PLDI 2009
- Mechanizing conventional SSA for a verified destruction with coalescing CC 2016
- Eliminating distinctions of class: using prototypes to model virtual classes OOPSLA 2006
- Verification of high-level transformations with inductive refinement types GPCE 2018