Sign up to save your podcasts
Or
Share A Discipline of Programming
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
A Discipline of Programming
A rigorous mathematical foundation for creating software that is both logically beautiful and intellectually manageable. The author argues that traditional programs often lack human appreciation because they are designed solely for machine execution rather than clarity. To address this, he introduces predicate transformers and a specialized mini-language to treat algorithms as formal mathematical objects. The text explores fundamental concepts such as executional abstraction, the role of formal notation, and the systematic characterization of program states. By emphasizing a precise scientific discipline, Dijkstra aims to move programming away from intuitive guesswork toward a reliable, verifiable craft. Throughout the chapters, he applies these methods to classic computational challenges to demonstrate how compact formalisms lead to superior solutions.
You can listen and download our episodes for free on more than 10 different platforms:
https://linktr.ee/cyber_security_summary
Discover our free courses in tech and cybersecurity, Start learning today:
https://linktr.ee/cybercode_academy
You can listen and download our episodes for free on more than 10 different platforms:
https://linktr.ee/cyber_security_summary
Discover our free courses in tech and cybersecurity, Start learning today:
https://linktr.ee/cybercode_academy
View all episodes
By CyberSecurity Summary
2.2
55 ratings
A rigorous mathematical foundation for creating software that is both logically beautiful and intellectually manageable. The author argues that traditional programs often lack human appreciation because they are designed solely for machine execution rather than clarity. To address this, he introduces predicate transformers and a specialized mini-language to treat algorithms as formal mathematical objects. The text explores fundamental concepts such as executional abstraction, the role of formal notation, and the systematic characterization of program states. By emphasizing a precise scientific discipline, Dijkstra aims to move programming away from intuitive guesswork toward a reliable, verifiable craft. Throughout the chapters, he applies these methods to classic computational challenges to demonstrate how compact formalisms lead to superior solutions.
You can listen and download our episodes for free on more than 10 different platforms:
https://linktr.ee/cyber_security_summary
Discover our free courses in tech and cybersecurity, Start learning today:
https://linktr.ee/cybercode_academy
You can listen and download our episodes for free on more than 10 different platforms:
https://linktr.ee/cyber_security_summary
Discover our free courses in tech and cybersecurity, Start learning today:
https://linktr.ee/cybercode_academy
More shows like CyberSecurity Summary
View all
Hacked
188 Listeners
SANS Internet Stormcenter Daily Cyber Security Podcast (Stormcast)
648 Listeners
CyberWire Daily
1,030 Listeners
Darknet Diaries
8,051 Listeners
Cybersecurity Today
178 Listeners
This Week in Linux
36 Listeners
Defense in Depth
73 Listeners
Cybersecurity Headlines
136 Listeners