Pages that link to "Item:Q5482278"
From MaRDI portal
The following pages link to Sound and complete models of contracts (Q5482278):
Displaying 7 items.
- Relational contracts and the first-order approach (Q268636) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- INCOMPLETE CONTRACTS MODELLING (Q3521290) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Contracts made manifest (Q5398336) (← links)