4 ms·
I think reasoning about correctness is easier than about optimizations. Even if you account for a simple complexity model (real computers are a lot more complex
by Labo333 7y ago
I think reasoning about correctness is easier than about optimizations. Even if you account for a simple complexity model (real computers are a lot more complex, because of techniques like branch prediction or memory caching), proving an implementation as optimal is very hard!
- hwayne 7y agoIt's often really hard to know if an optimization is "correct"- is the same function as the original, unoptimized version. Formal methods helps here by showing they're equivalent, so you can focus on finding good optimizations instead!