Математическая энциклопедия - автоматизация программирования

использование вычислительных машин для автоматич. получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. п. меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. и. заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. п. была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. п. как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом. Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985