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
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 Structured Programming (book chapter)
linked to: Notes on Structured Programming