<<
>>

Глава 7 Формальная семантика языков программирования

Эта глава отведена обсуждению формальных подходов к описанию семантики языков программирования. Вначале поясняются синтезируемые атрибуты и атрибутные грамматики, которые являются расширениями обычных, синтаксических грамматик на область семантики.
Затем дается характеристика операционной семантики, максимально задействующей воображение человека в роли виртуальной машины. Значительное место и внимание уделено аксиоматической семантике — наиболее развиваемому на практике подходу к автоматическому доказательству корректности программы. Рассматривается принятая в нем схема доказательства, использование правил вывода, опирающихся на постусловия и предусловия; приводятся примеры подобных правил для наиболее популярных конструкций языка. В частности, описывается понятие инварианта цикла и исследуются методики его определения. В заключение объясняются основные идеи денотационного подхода к заданию семантики, где во главу угла поставлены рекурсивные функции отображения отдельных конструкций языка в область семантических значений. Демонстрируются примеры функций семантического отображения для чисел, выражений, операторов присваивания и циклов.

<< | >>

Еще по теме Глава 7 Формальная семантика языков программирования:

  1. Сергей Александрович Орлов. Теория и практика языков программирования: Учебник для вузов. Стандарт 3-го поколения, 2013
  2. Глава 2 Отрицательное и положительное программирование
  3. О. Л. Голицына, Т. Л. Партыка, И. И. Попов. ЯЗЫКИ ПРОГРАММИРОВАНИЯ, 2008
  4. Правило правовой языковой культуры
  5. Правило общей языковой культуры
  6. Правило правовой языковой культуры
  7. Правило общей языковой культуры
  8. 1.2.1. Изучение иностранных языков [верь глазам своим]
  9. Основной курс (Программирование)
  10. Иванова Г.С. Основы программирования, 2002
  11. Эстетика программирования
  12. Г.С.Иванова, Т.Н.Ничушкина, Е.К.Пугачев. Объектно- ориентированное программирование, 2001
  13. Формальные группы.
  14. Часть вторая Родительское программирование