Hacker News
- "Object Success" now available https://bertrandmeyer.com/2023/03/24/object-success-now-available/ 4 comments
- Scenarios versus OO Requirements https://bertrandmeyer.com/2023/06/15/new-article-scenarios-versus-oo-requirements/ 8 comments
- Introduction to the Theory of Programming Languages (1991) https://bertrandmeyer.com/2022/09/28/introduction-theory-programming-languages-full-book-now-freely-available/ 54 comments
- Soundness and Completeness: With Precision https://bertrandmeyer.com/2019/04/21/soundness-completeness-precision/ 2 comments
- Why not program right? https://bertrandmeyer.com/2018/05/24/not-program-right/ 181 comments
- New Paper: Theory of Programs https://bertrandmeyer.com/2015/07/06/new-paper-theory-of-programs/ 31 comments
- Lampsort: Leslie Lamport's Non-recursive Quicksort http://bertrandmeyer.com/2014/12/07/lampsort/ 44 comments
- Your IP: does Google care? http://bertrandmeyer.com/2013/01/28/your-ip-does-google-care-2/ 38 comments
- The one sure way to advance software engineering http://bertrandmeyer.com/2009/08/21/the-one-sure-way-to-advance-software-engineering/ 26 comments
Lobsters
- A full online version of Object-Oriented Software Construction, 2nd edition https://bertrandmeyer.com/OOSC2/ 4 comments book , formalmethods , programming
- Some contributions https://bertrandmeyer.com/2021/02/26/some-contributions/ 7 comments person , programming , rant
- Domain Theory: the forgotten step in program verification (2012) https://bertrandmeyer.com/2012/04/11/domain-theory-the-forgotten-step-in-program-verification/ 2 comments formalmethods
- A theorem of software engineering https://bertrandmeyer.com/2019/11/01/theorem-software-engineering/ 8 comments programming
- Why not program right [with contracts]? https://bertrandmeyer.com/2018/05/24/not-program-right/ 23 comments programming
- Bertrand Meyer - Code Matters http://bertrandmeyer.com/2014/05/17/code-matters/ 46 comments programming
- Concurrent programming is easy http://bertrandmeyer.com/2011/06/20/concurrent-programming-is-easy/ 8 comments programming
- The other impediment to software engineering research http://bertrandmeyer.com/2010/04/25/the-other-impediment-to-software-engineering-research/ 15 comments programming
- Reflexivity, and other pillars of civilization http://bertrandmeyer.com/2010/02/06/reflexivity-and-other-pillars-of-civilization/ 24 comments programming
- The theory and calculus of aliasing http://bertrandmeyer.com/2010/01/21/the-theory-and-calculus-of-aliasing/ 4 comments programming
- Just another day at the office http://bertrandmeyer.com/2010/01/15/just-another-day-at-the-office/ 3 comments programming
- The Case of the Handsome Couple: answer http://bertrandmeyer.com/2009/10/25/the-case-of-the-handsome-couple-answer/ 6 comments math
- The Case of the Handsome Couple http://bertrandmeyer.com/2009/10/20/the-handsome-couple/ 45 comments math
- The one sure way to advance software engineering http://bertrandmeyer.com/2009/08/21/the-one-sure-way-to-advance-software-engineering/ 22 comments programming
Lambda the Ultimate
- The Theory and Calculus of Aliasing http://bertrandmeyer.com/ 19 comments LtU Forum
- Avoid a Void: eradicating null-pointer dereferencing http://bertrandmeyer.com/tag/void-safety/ 27 comments LtU Forum
Linking pages
- Factors Affecting Software Quality | by Ashok Khanna | Medium https://ashok-khanna.medium.com/software-quality-c5725fba7716 0 comments
- Bertrand Meyer – De Programmatica Ipsum https://deprogrammaticaipsum.com/2020/01/06/bertrand-meyer/ 0 comments
- Uncle Bob Martin on Clean Software, Craftsperson, Origins of SOLID, DDD, & Software Ethics https://www.infoq.com/podcasts/uncle-bob-solid-ddd 0 comments