Robert W. Floyd
En savoir plus sur l'auteur
...plusCompte non officiel
5
@robertWFloyd
Mon message au programmeur sérieux est le suivant: passer une partie de votre journée de travail à examiner et à affiner vos propres méthodes. Même si les programmeurs ont toujours du mal à respecter une date limite future ou passée, l'abstraction méthodologique est un investissement judicieux à long terme.
@robertWFloyd
Une définition sémantique d'un ensemble particulier de types de commandes est alors une règle pour construire, pour toute commande de l'un de ces types, une condition de vérification sur les antécédents et les conséquents.
@robertWFloyd
La création de normes formelles pour les preuves sur les programmes ... et la proposition selon laquelle la sémantique d'un langage de programmation peut être définie indépendamment de tous les processeurs pour cette langue, en établissant des normes de rigueur pour des preuves sur les programmes dans la langue, semble être nouveau .
@robertWFloyd
Il est donc possible d'étendre une interprétation partiellement spécifiée à une interprétation complète, sans perte de vérifiabilité ... Ce fait offre la possibilité de vérification automatique des programmes, le programmeur marquant simplement les entrées et un bord dans chaque boucle la plus intérieure.
@robertWFloyd
S'il y a jamais une science de la conception du langage de programmation, elle consistera probablement en grande partie en langages correspondants aux méthodes de conception qu'ils prennent en charge.