stefk0 / sep

Записки по курса ,,Семантика на езиците за програмиране"

Лекции по СЕП (зима 2018 г.)

1. Увод. Неформално описание на операционната семантика. Денотационна семантика върху частични функции
2. Области на Скот. Конструкции - плоска област, декартово произведение. Монотонни изображения, непрекъснати изображения
3. Непрекъснати изображения за стабилизиращи се редици. Теорема на Клини. Най-малки решения на системи от уравнения
4. Характеризация на непрекъснатите изображения върху алгебрични области на Скот. Примери при изображения в частичните функции
5. Точните изображения формират област на Скот. Непрекъснат оператор, който връща точното ограничение. Функция на няколко аргумента е непрекъсната точно тогава, когато е непрекъсната по всеки аргумент поотделно.
6. Термове. Стойност на терм. Лема за замяната. Термални оператори
7. Непрекъснатост на термалните оператори. Денотационна семантика с предаване на параметрите по име
8. Денотационна семантика с предаване на параметрите по стойност. Сравнение на двете семантики
9. -- няма лекция --
10. Операционна семантика с предаване на параметрите по име. Операционната по име се включва се денотационната по име
11. Денотационната по име се включва в операционната по име
12. Операционна семантика с предаване на параметрите по стойност. Сравнение с денотационната семантика по стойност
13. Непрекъснати свойства. Правило на Скот. Примери
14. -- няма лекция --