4 ms·
Your background immediately reminded me of Betrand Meyer and Design by Contract[1]. I wonder how much of Hoare's work influenced Meyer. Do you care to opine?
by AdieuToLogic 11y ago
Your background immediately reminded me of Betrand Meyer and Design by Contract[1]. I wonder how much of Hoare's work influenced Meyer.
Do you care to opine? :-)
1 - http://www.artima.com/intv/contracts.html http://www.artima.com/intv/contracts.html
- mcguire 11y agoI don't know much about Meyer's history and the history of Design by Contract, but I'm going to go out on a limb and say, "quite a bit." The major difference that I can see, with my limited experience, is that DbC seems to be focused on the boundaries between functions and is more closely related to assertions (which are probably also related to Hoare).