Refinement Types for Program Analysis
No abstract available.
Related papers
- Type refinement for static analysis of JavaScript DLS 2013
- Solo: a lightweight static analysis for differential privacy OOPSLA 2022
- Probabilistic Refinement Session Types PLDI 2025
- Fissile type analysis: modular checking of almost everywhere invariants POPL 2014
- Data flow refinement type inference POPL 2021
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- A Flow-Sensitive Refinement Type System for Verifying eBPF Programs OOPSLA 2025
- Liquid resource types ICFP 2020