Статья 304

Эти языки были изобретены практически одновременно Р.У. Флойдом 1967 г. , С.А.Р. Хоаром 1969 г. и учеными польской логической школы А. Сальвицкий и др. 1970 г.
Принципиально отличный способ определения семантики программ, пригодный скорее для описания всего алгоритмического языка, а не конкретных программ, предложил в 1970 г. Д. Скотт. Он построил математическую модель исчисления и показал, как переводить функциональное описание языка структурного программирования исчисление и как определить математическую модель алгоритмического языка через модель исчисления. Работы по такой семантике алгоритмических языков насчитываются уже тысячами. Она стала практическим инструментом построения надежных трансляторов со сложных алгоритмических языков.

изобретены

изобретены


Так еще одна абстрактная область математической логики получила прямые приложения.