Typestate

Strom, R. E., & Yemini, S. (1986). Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE.

Type

Journal article

Intellectual base

Primary research

Year

1986

DOI

10.1109/tse.1986.6312929

Link

https://doi.org/10.1109/TSE.1986.6312929

Cited from

linguistics_semiotics

Cited by

1 citation across 1 artifact.

Primes

• Setup–Resolution Pair
  • A garbage collector, a proof assistant, a double-entry ledger, and a protocol state machine all implement the same four-step shape while sharing none of each other's vocabulary; what they share is that each maintains a set of currently open demands, each can name the type of thing that would empty a given slot in that set, and each treats a non-empty set at termination as an error condition rather than as an aesthetic disappointment.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:321e87778985 · see in the full table