Contract

Noun · Development

Definitions

  1. A formal specification of the obligations and guarantees between software components. In Design by Contract, preconditions, postconditions, and invariants define what a function expects, promises, and maintains. In blockchain, a smart contract is self-executing code deployed on-chain.

    In plain English: An agreement between parts of a program about what data they will send and receive, like a handshake deal that the code enforces automatically.

Related Terms