2 ms·
>Anyone that wants to learn more on the subject of deriving programs should read Two more; * EWD316 - A Short Introduction to the Art of Programming. * A Met
by rramadass 5y ago
>Anyone that wants to learn more on the subject of deriving programs should read
Two more;
* EWD316 - A Short Introduction to the Art of Programming.
* A Method of Programming - Book co-authored with W.H.J.Feijen. For some reason, this is not well known though it was written as a course textbook. Draft version here: https://www.softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/A_Method_of_Programming_1.pdf https://www.softwareresearch.net/fileadmin/src/docs/teaching...