Go To Statement Considered Harmful¶
Dijkstra, E. W. (1968). Go To Statement Considered Harmful. Communications of the ACM, 11(3), 147-148.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Non-Locality
- In computing, non-locality is pervasive and consequential: global mutable variables couple distant code, pointer aliasing lets a write here change a value there with no syntactic adjacency, non-local control flow (GOTO, exceptions, longjmp, callbacks) transfers control across the program's structure, and shared mutable state couples modules that never name each other.
This sourceClassic argument that non-local control flow (GOTO) defeats local reasoning about program state; the software locus of action-at-a-distance.
- In computing, non-locality is pervasive and consequential: global mutable variables couple distant code, pointer aliasing lets a write here change a value there with no syntactic adjacency, non-local control flow (GOTO, exceptions, longjmp, callbacks) transfers control across the program's structure, and shared mutable state couples modules that never name each other.
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:e1978b696479 · see in the full table