This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Why program this way
A subject the papers are about. The loosest grouping, and the one to reach for last.
Arguments for a way of programming, as against accounts of what a program means. Collects the position papers that tell you how to write, structure or decompose programs and why. Membership requires a prescription: a semantics or a proof method belongs in the sets about meaning instead.
11 references
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
Why Functional Programming Matters
J. Hughes (1989) · The Computer Journal · Oxford University Press (OUP)
The science of programming
David Gries (1981) · Springer
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
John Backus (1978) · Communications of the ACM · Association for Computing Machinery
A Discipline of Programming
Edsger W. Dijkstra (1976) · Prentice-Hall
Programming with abstract data types
Barbara Liskov and others (1974) · Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages · Association for Computing Machinery
Chapter I: Notes on structured programming
Edsger W. Dijkstra (1972) · Academic Press Ltd. eBooks · Academic Press
Verification Oriented Language Design
James H. Morris (1972) · University of California, Berkeley
On the criteria to be used in decomposing systems into modules
David Lorge Parnas (1972) · Communications of the ACM · Association for Computing Machinery
Go to statement considered harmful
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
The next 700 programming languages
P. J. Landin (1966) · Communications of the ACM · Association for Computing Machinery