Визначено, що багато років теоретична інформатика в аспекті розробки програмного забезпечення та побудови компіляторів займалась проблемами правильності специфікацій і високорівневих реалізацій компіляторів. Розглянуто проблему коректного та безпечного перекладу (bootstrapping) програм з мови високого рівня в коди машини. Показано, як вирішуються проблеми коректності програм на мовах низького рівня. Продемонстровано метод строго синтаксичного апостеріорного аналізу, розроблений дослідною групою Verifix в університеті м. Киля (ФРН).

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"