A partir de quand un programme est-il considéré comme tel ?
A partir de sa deuxième exécution.
Un programme qui ne pourrait rendre à partir des mêmes prémisses et dans un même contexte un même résultat ne serait pas un programme.
L’itération est une condition du formalisme.
Certains environnements VMS se détectent à l’épaisseur de poussière sur les équipements. Un VAX qui contrôle une chaîne industrielle depuis plusieurs dizaines d’année a su se faire oublier en raison même de sa sûreté. Il reste qu’il faut être capable de le dépanner le cas échéant.
Ou encore (…)