4 ms·Richard Bird Died3 points by ryanklee 4y agomelling 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”