Методы контроля программ

Лекция №3 » Семантика языков программирования

1. Формальные методы
2. Синтаксис, семантика и прагматика. Проблема описания смысла.
3. Способы определения семантики.
4. Синтезируемые атрибуты
5. Атрибутивные грамматики
6. Операционная семантика
7. Аксиоматическая семантика. Алгебраическая система Хоара. Алгоритм доказательства свойств программ.

Литература

•  Семантика
•  Атрибутные грамматики