Refinements for Free!
No abstract available.
DOI 10.1007/978-3-319-03545-1_10
Related papers
- Mutual Refinements of Context-Free Language Reachability SAS 2023
- A refinement hierarchy for free list memory allocators ISMM 2017
- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models TACAS 2016
- Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types TOPLAS 2017
- Context-Bounded Verification of Context-Free Specifications POPL 2023
- Verified sequential Malloc/Free ISMM 2020
- Refined Types: Highly Differentiated Type Systems and Their Use in the Design of Intermediate Langages PLDI 1988
- Refinement types for Haskell ICFP 2014