Ecrire un programme qui dit si un programme dans le cas général va planter est indécidable. Sur un cas particulier c'est faisable de prouver qu'un programme va ou non planter.
Sur un cas particulier ET sans effet de bord, oui. Maintenant, la liste des cas particuliers (j'exclus volontairement tous les programmes qui plantent de manière évidente, genre division par zéro ou lecture d'adresses mémoires indubitablement erronées) est suffisamment restreinte pour qu'on la néglige.
[^] # Re: rien de neuf ?
Posté par Larry Cow . En réponse au journal Rapport Anses sur les effets des OEM sur la santé. Évalué à 2.
Sur un cas particulier ET sans effet de bord, oui. Maintenant, la liste des cas particuliers (j'exclus volontairement tous les programmes qui plantent de manière évidente, genre division par zéro ou lecture d'adresses mémoires indubitablement erronées) est suffisamment restreinte pour qu'on la néglige.