Книга: Semantics with Applications

Мои познания о формальном подходе к семантике языков програмирования в лучшем случае поверхностны, но повода их углубить, в общем-то, до сих пор не было. Но тут попалась вводная книга по семантике языков программирования: Semantics with Applications.

Цель книги - дать студентам профильных вузов представление об основных подходах к формальной семантике языков программирования.

Основной материал составляет примерно половину небольшой (250+ страниц) книги. В первой главе вводится простейший язык программирования. На этом примере в трех главах поочередно разъясняются популярные подходы к семантике (оба подвида операционной семантики, денотационная и аксиоматическая семантики).

Оставшиеся главы представляют собой материал вспомогательный: демонстрационная формализация расширений к языку программирования, применение семантик в статическом анализе и рекомендации к чтению.

Материал имеет характер прежде всего ознакомительный, но вместе с тем все обсуждаемые в книге результаты доказываются строго и сопровождаются упражнениями. Другими словами, авторы ожидают от читателя активной вовлеченности.

Основные три-четыре главы я проработал с авторучкой в руке, еще две просто прочитал, остальные же, признаюсь, просто пролистал - стало жалко времени на тему, непосредственно в работе не используемую. Но в целом подход авторов к введению в тему показался мне гуманным, а книга в целом оставила приятное впечатление.