Tony Hoare
@tonyHoare
J'ai finalement été persuadé de la nécessité de concevoir des notations de programmation afin de maximiser le nombre d'erreurs qui ne peuvent pas être commises, ou si elles sont faites, peuvent être détectées de manière fiable au moment de la compilation.