Pertanyaan yang diberi tag «static-analysis»

Cukup sederhana untuk memahami mengapa masalah penghentian tidak dapat diputuskan untuk program tidak murni (yaitu, yang memiliki I / O dan / atau negara bagian bergantung pada negara mesin-global); tetapi secara intuitif, tampaknya program murni berhenti pada komputer yang ideal akan dapat ditentukan melalui misalnya analisis statis. Apakah ini yang …

25 halting-problem  static-analysis