Tape automata. (Though there are a lot of variants.)
> Liskov Substitution Principle
Behavioral subtyping. Even Liskov calls it this, but "SOBID" doesn't have the same ring to it. (BOIDS?)
> ISO 8601
Lexicographic dates. (ISO 8601 also specifies ordinal dates, with day of year (i.e. YYYY-DDD), but the "big endian" ordering principle is still accurate.)
Although "ISO 8601" tells you what specification describes it, which is a lot better than widgets named after people.
Truth values.
> Turing Machines
Tape automata. (Though there are a lot of variants.)
> Liskov Substitution Principle
Behavioral subtyping. Even Liskov calls it this, but "SOBID" doesn't have the same ring to it. (BOIDS?)
> ISO 8601
Lexicographic dates. (ISO 8601 also specifies ordinal dates, with day of year (i.e. YYYY-DDD), but the "big endian" ordering principle is still accurate.)
Although "ISO 8601" tells you what specification describes it, which is a lot better than widgets named after people.