Лекция 22: Формальная семантика языков функционального программирования

Классификация формальных семантик.Теория доменов. Теорема о неподвижной точке. Семантика для простейшего языка.







Видеотека

Яндекс.Метрика