Lexicon

Value Semantics

Kind: constraint

Layer: Computation Core

Record: lexicon:value-semantics

Canonical: Lexicon

The requirement that values be compared and copied by content rather than by reference identity.

Listed in Lexicon terms, after Properties/Invariants and before Versioned Inputs.

Category

  • Correctness / Determinism / Verification

Required by

  • Immutability

Linked from

  • Correctness / Determinism / Verification