C'est une conséquence du Théorème de Rice. Toute propriété sémantique (non triviale) sur un programme est indécidable. Grosso-modo, non-trivial signifie qu'il existe des programmes qui vérifient la propriété et des programmes qui ne la vérifient pas.
Le théorème s'applique aux langages qui sont Turing-complets, donc en particulier à tous les langages généralistes.
[^] # Re: Ouaiche
Posté par anaseto . En réponse au lien "Rust vs. Go: Why They’re Better Together". Évalué à 2.
C'est une conséquence du Théorème de Rice. Toute propriété sémantique (non triviale) sur un programme est indécidable. Grosso-modo, non-trivial signifie qu'il existe des programmes qui vérifient la propriété et des programmes qui ne la vérifient pas.
Le théorème s'applique aux langages qui sont Turing-complets, donc en particulier à tous les langages généralistes.