Notes on Structured Programming

E385271

book computer science literature

Notes on Structured Programming is a seminal work by Edsger W. Dijkstra that advocates for disciplined, mathematically grounded program design and helped popularize the principles of structured programming.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
1977 ACM Turing Award lecture	1
Notes on Structured Programming canonical	1
Structured Programming (book chapter)	1

How this entity was disambiguated

This entity first appeared as the object of triple T3744687 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Notes on Structured Programming
Context triple: [Dijkstra, notableWork, Notes on Structured Programming]

A. Algorithms + Data Structures = Programs
"Algorithms + Data Structures = Programs" is a classic computer science textbook by Niklaus Wirth that systematically teaches how combining appropriate data structures with algorithms leads to effective and efficient programs.
B. Control Program for Microcomputers
Control Program for Microcomputers is an early operating system widely used on 8-bit microcomputers in the late 1970s and early 1980s, known for influencing the design of later systems like MS-DOS.
C. "Go To Statement Considered Harmful"
"Go To Statement Considered Harmful" is a famous 1968 letter by Edsger W. Dijkstra that argued against the use of the goto statement in programming, helping to popularize structured programming principles.
D. Programming Pearls
Programming Pearls is a classic computer science book by Jon Bentley that teaches practical problem-solving, algorithm design, and programming techniques through engaging essays and puzzles.
E. Revised^n Report on the Algorithmic Language Scheme
The Revised^n Report on the Algorithmic Language Scheme is the series of formal documents that define and evolve the official specification of the Scheme programming language.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Notes on Structured Programming
Target entity description: Notes on Structured Programming is a seminal work by Edsger W. Dijkstra that advocates for disciplined, mathematically grounded program design and helped popularize the principles of structured programming.

A. Algorithms + Data Structures = Programs
"Algorithms + Data Structures = Programs" is a classic computer science textbook by Niklaus Wirth that systematically teaches how combining appropriate data structures with algorithms leads to effective and efficient programs.
B. Control Program for Microcomputers
Control Program for Microcomputers is an early operating system widely used on 8-bit microcomputers in the late 1970s and early 1980s, known for influencing the design of later systems like MS-DOS.
C. "Go To Statement Considered Harmful"
"Go To Statement Considered Harmful" is a famous 1968 letter by Edsger W. Dijkstra that argued against the use of the goto statement in programming, helping to popularize structured programming principles.
D. Programming Pearls
Programming Pearls is a classic computer science book by Jon Bentley that teaches practical problem-solving, algorithm design, and programming techniques through engaging essays and puzzles.
E. Revised^n Report on the Algorithmic Language Scheme
The Revised^n Report on the Algorithmic Language Scheme is the series of formal documents that define and evolve the official specification of the Scheme programming language.
F. None of above. chosen

Statements (43)

Predicate	Object
instanceOf	book ⓘ computer science literature ⓘ
advocates	disciplined program design ⓘ mathematically grounded program design ⓘ structured control flow constructs ⓘ use of formal reasoning in programming ⓘ
author	Edsger W. Dijkstra ⓘ
contributedTo	acceptance of structured programming in academia ⓘ acceptance of structured programming in industry ⓘ
field	computer science ⓘ software engineering ⓘ
genre	academic text ⓘ technical monograph ⓘ
hasApproach	formal reasoning about program behavior ⓘ mathematical treatment of programs ⓘ rigorous program construction ⓘ
hasConcept	design discipline ⓘ hierarchical program decomposition ⓘ program correctness ⓘ program verification ⓘ proof of correctness ⓘ separation of concerns ⓘ stepwise refinement ⓘ structured control structures ⓘ top-down design ⓘ
hasPerspective	correctness as a primary design goal ⓘ programs as mathematical objects ⓘ
influenced	popularization of structured programming ⓘ software engineering best practices ⓘ
influencedBy	formal methods ⓘ mathematical logic ⓘ
language	English ⓘ
mainSubject	program design ⓘ software engineering methodology ⓘ structured programming ⓘ
opposes	unrestricted goto statements ⓘ
relatedTo	A Discipline of Programming ⓘ Go To Statement Considered Harmful ⓘ linked to: "Go To Statement Considered Harmful" structured programming movement ⓘ
targetAudience	computer scientists ⓘ programming language researchers ⓘ software engineers ⓘ
timePeriod	late 1960s and early 1970s structured programming era ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Dijkstra → notableWork → Notes on Structured Programming ⓘ

Ole-Johan Dahl → notableWork → Structured Programming (book chapter) ⓘ

linked to: Notes on Structured Programming

Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs → presentedAt → 1977 ACM Turing Award lecture ⓘ