3 ms·
Can you show some example(s) on the techniques ?
by revskill 3y ago
Can you show some example(s) on the techniques ?
- thebigwinning 3y agoI would recommend the first 2-3 chapters to start.
- tmoertel 3y agoThe general idea is that you develop the algorithm and the proof of correctness for the algorithm at the same time. The two views are duals in a certain sense, and each gives you insight about the other.