A Discipline of programming
Sign in to keep track of books you’ve read and want to read.
A Discipline of Programming sets out Edsger Dijkstra's approach to writing software that is correct by construction. Rather than writing code first and testing it afterwards, he argues that programmers should reason carefully about what a program must achieve and build the code step by step alongside that reasoning.
Read more
The book starts by examining how programs execute and how their meaning can be described precisely, then looks at the role of programming languages in shaping that thinking. Dijkstra works through a series of concrete problems, revisiting a familiar method for finding common divisors, examining how to search through ordered data, and tackling how to produce the next arrangement in a sequence. Each example is developed with careful attention to ensuring it ends properly and does what it should.
The result is a short, demanding guide for anyone who wants to understand the logic behind programs.
Liked A Discipline of programming? Here’s where I’d start.
These suit anyone who liked A Discipline of programming. Sign in and mark a few books for picks shaped around your own taste.
-
Types and Programming Languages Shares programming, computer science, cs -
Elements of Programming Shares programming, computer science, cs -
Structure and Interpretation of Computer Programs Shares programming, computer science, cs -
The Elements of Programming Style Shares programming, computer science, cs
