Skip to content
/ sep Public

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

License

Notifications You must be signed in to change notification settings

stefk0/sep

Repository files navigation

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

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