“systematic program design” refers to a mix of two concepts: design recipes and iterative refinement.
If you want to change selection, open document below and click on "Move attachment"
Prefaceand because the simplest programs are just such functions. The key is to discover which functions are needed, how to connect them, and how to build them from basic ingredients. In this context, <span>“systematic program design” refers to a mix of two concepts: design recipes and iterative refinement.We drew inspiration from Michael Jackson’s method for creating COBOL programs plus conversations with Daniel Friedman on recursion, Robert Harper on type theory, and Daniel Jackson on so Summary
status | not read | | reprioritisations | |
---|
last reprioritisation on | | | suggested re-reading day | |
---|
started reading on | | | finished reading on | |
---|
Details