Contract

Contract means slightly different things in different fields. Camilleri (2017) lists the following 4.

Contract in software engineering

A contract encodes the specification of a software, using techniques such as assertions, pre- or postconditions, and refinement types.

Examples:

• Liquid Haskell
• Dafny

(Probably not relevant for the scope of CCLAW readings.)