3 ms·
Verifying the equivalence of two large programs can be very difficult. Developers often underestimate the effort needed to achieve a correct rewrite.
by DoofusOfDeath 7y ago
Verifying the equivalence of two large programs can be very difficult. Developers often underestimate the effort needed to achieve a correct rewrite.
- aNoob7000 7y agoExactly and figuring out all the logic with code that's been refined and built out of 20-30 years. Any developer saying, "Hey, go and rewrite the code" underestimate all the edge cases that end up all over the place in the application.