С. С. Лавров Программирование , 6 , 12.1978 , язык: русский  Аннотация В статье дается краткий обзор семантики языков программирования. Основное внимание уделяется денотационной (математической) семантике, являющейся по существу теорией моделей программ, построенных на теоретико-множественной основе. Излагаются основные понятия и результаты денотационной семантики.   Полный текст     в формате pdf

	Наш адрес: 119991 ГСП-1 Москва В-71, Ленинский просп., 14 Телефон: 938-0309 (Справ. бюро) Факс: (495)954-3320 (Лен.пр.,14), (495)938-1844 (Лен.пр.,32а)	Назад