3 ms·
I 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 broke
by panic 10y ago
I 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.