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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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




Реклама



Ваше мнение

Видиотека

Рейтинг@Mail.ru

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