3 ms·
If you think that code is readable, could you correctly write all pre/post-conditions in between statements?
by catnaroek 10y ago
If you think that code is readable, could you correctly write all pre/post-conditions in between statements?
- panic 10y agoI think that's a little different. Reading code almost never involves analyzing it to that degree. Usually you're just trying to figure out what part is broken or where you need to add some new functionality.
- catnaroek 10y agoThe meaning of an imperative program is given in terms of Hoare triples. If you can't produce such triples on demand, then you don't understand the program in question.