Software Verification with Liquid Types
No abstract available.
Related papers
- Software Verification with Liquid Types APLAS 2011
- Dsolve: Safety Verification via Liquid Types CAV 2010
- Usability Barriers for Liquid Types PLDI 2025
- Flux: Liquid Types for Rust PLDI 2023
- Liquidate your assets: reasoning about resource usage in liquid Haskell POPL 2020
- Liquid types PLDI 2008
- Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary ECOOP 2008
- Low-level liquid types POPL 2010