Quel est le nom du problème ou de la technique de déterminer si une ligne dans un programme exécutera
-
05-11-2019 - |
Question
Si je devais poser la question: "Compte tenu d'un programme $ P $ contenu $ X $, sera $ X $ être exécuté (compte tenu des exécutions suffisantes avec toutes les entrées possibles)? "
Cela me frappe d'être un parent du problème d'arrêt, mais je ne connais tout simplement pas la taxonomie ici.
Quel est le nom de ce problème, ou n'a-t-il pas de nom car il est résolu / sans intérêt?
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange