3 ms·
Here's you two on a theory of programming: http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/ https://bertrandmeyer.com/2015/07
by nickpsecurity 9y ago
Here's you two on a theory of programming:
http://www.cs.toronto.edu/~hehner/aPToP/ http://www.cs.toronto.edu/~hehner/aPToP/
https://bertrandmeyer.com/2015/07/06/new-paper-theory-of-programs/ https://bertrandmeyer.com/2015/07/06/new-paper-theory-of-pro...
- jwdunne 9y agoOoh a free book. Thank you, this looks promising :) have you read it?
- nickpsecurity 9y agoTheory of Programs was a nice link. Other one was above my head.
- jwdunne 9y agoI agree. Given the author, it makes more sense with some sense of DbC but it's a slog.