The following pages link to Low-level liquid types (Q5255068):
Displayed 13 items.
- Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
- Lightweight shape analysis based on physical types (Q2152652) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Horn Clause Solvers for Program Verification (Q2947164) (← links)
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)
- ICE-based refinement type discovery for higher-order functional programs (Q5919002) (← links)
- Parameterized recursive refinement types for automated program verification (Q6109429) (← links)
- Embedded domain specific verifiers (Q6113993) (← links)
- On higher-order reachability games vs may reachability (Q6173106) (← links)