Contracts made manifest (Q5255093)
From MaRDI portal
scientific article; zbMATH DE number 6445108
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contracts made manifest |
scientific article; zbMATH DE number 6445108 |
Statements
Contracts made manifest (English)
0 references
11 June 2015
0 references
blame
0 references
contract
0 references
dynamic checking
0 references
postcondition
0 references
precondition
0 references
refinement type
0 references
translation
0 references
