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

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

Просмотр курса по операционной семантике в моем университете дает следующие три:

• Лекции Эндрю Питтса
• Орхусские заметки Гордона Плоткина о структурной операционной семантике
• Мэтью Хеннесси Семантика языков программирования

Ohad.

Структурная операционная семантика (SOS) является очень общей концепцией. По сути, это просто бинарное отношение к конфигурациям (обычно это программы плюс контекст, например, состояние или доступные продолжения) или, в случае помеченной семантики, троичное отношение между конфигурациями, действиями (которые представляют определенные минимальные контексты) и конфигурациями. «Структурный» бит обычно состоит в том, что эти отношения определяются индуктивно по задействованному синтаксису (например, конфигурации и действия).

Как таковые, без других требований, математические объекты, которые мы рассматриваем в SOS, являются слишком общими, чтобы быть интересными / понятными сами по себе.

SOS становится интересным и существенным, когда мы смотрим на особые случаи, например, эквивалентности для временных исчислений, помеченные переходы для асинхронного пространственного исчисления, соответствующие сокращениям, или вопросы об выразительности определенных (классов) исчислений.

Поэтому я рекомендую Mr / Ms Systemsfault пропустить обобщения и сразу перейти к конкретным интересным исчислениям. Общие методы SOS можно легко подобрать по пути.

Я бы порекомендовал прочитать Главу 2 в этой загружаемой книге:

Семантика с приложениями: официальное введение, Ханне Риис Нильсон и Флемминг Нильсон, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html