3 ms·
“Instead of repeatedly finding and fixing bugs in a program until it appears to pass all tests, he argued for calculating the program from a precise specificati
by melling 4y ago
“Instead of repeatedly finding and fixing bugs in a program until it appears to pass all tests, he argued for calculating the program from a precise specification of what it should do”