Lexicon

Undefined Behavior

Kind: anti-pattern

Layer: Computation Core

Record: lexicon:undefined-behavior

Canonical: Lexicon

Relying on operations whose result is unspecified, so outcomes vary unpredictably across runs or platforms.

Listed in Lexicon terms, after Unchecked Dynamic Code and before Untested Implementation.

Category

  • Correctness / Determinism / Verification

Negated by

  • Correctness

Violates

  • Correctness

Linked from

  • Correctness / Determinism / Verification