Notes on Structured Programming

E385271

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.

All labels observed (2)

How this entity was disambiguated

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"
surface form: 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 (2)

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

Dijkstra notableWork Notes on Structured Programming
Ole-Johan Dahl notableWork Notes on Structured Programming
this entity surface form: Structured Programming (book chapter)