Pages that link to "Item:Q2936769"
From MaRDI portal
The following pages link to Combining programming with theorem proving (Q2936769):
Displayed 8 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Type-level Computation Using Narrowing in Ωmega (Q2866338) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification (Q3498430) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- The Implicit Calculus of Constructions as a Programming Language with Dependent Types (Q5458373) (← links)