…to try to specify all that a program should do, you get specifications that are themselves so complicated that you’re no longer confident that they say what you intended.
— Peter Seibel, Coders at Work
PREVIOUS10/11/2023
NEXT10/13/2023
…to try to specify all that a program should do, you get specifications that are themselves so complicated that you’re no longer confident that they say what you intended.
— Peter Seibel, Coders at Work