Dijkstra, grande informatico olandese, morì nel 2002. Solo ora, però, Communications of the ACM ha pubblicato uno stralcio di una sua intervista del 2001, davvero interessante.
L'intervista completa è disponibile gratuitamente sul sito del Charles Babbage Institute.
Interessante la parte dove dice che gli europei uscendo dalla guerra erano troppo poveri per costruire delle macchine dedicate ai test, pertanto doveva inventare dei metodi di verifica "a priori".
RispondiEliminaVerosimilmente questo ha causato nel vecchio continente un maggiore sviluppo a livello teorico dei sistemi di verifica formale.