| date | tags | |
|---|---|---|
2020-06-17 |
|
Contract means slightly different things in different fields. Camilleri (2017) lists the following 4.
[[z:zettels?tag=contract]]
A contract encodes the specification of a software, using techniques such as assertions, pre- or postconditions, and refinement types.
Examples:
(Probably not relevant for the scope of CCLAW readings.)