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

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

Переглядаючи курс оперативної семантики в моєму університеті, можна отримати наступні три:

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

Охад.

Структурна оперативна семантика (SOS) - дуже загальне поняття. По суті це просто бінарне відношення до конфігурацій (зазвичай програм плюс контекст, наприклад стан або доступні продовження), або, у випадку міченої семантики, потрійне відношення між конфігураціями, діями (які представляють певні мінімальні контексти) та конфігураціями. "Структурний" біт, як правило, полягає в тому, що ці відносини визначаються індуктивно через синтаксис, що займається (наприклад, конфігурації та дії).

Таким чином, без інших вимог математичні сутності, які ми вважаємо в SOS, є надто загальними, щоб бути цікавими / простежуваними самостійно.

SOS стає цікавим і суттєвим, коли ми дивимося на особливі випадки, наприклад, еквівалентність тимчасових обчислень, мічені переходи для асинхронного обчислення навколишнього середовища, що відповідають скороченням, або питання щодо експресивності певних (класів) обчислень.

Тому моя рекомендація для пана / пані Systemfault - пропустити загальні та перейти прямо до конкретних розрахунків, що цікавлять. Загальні методи SOS можна легко підібрати по дорозі.

Я рекомендую прочитати розділ 2 цієї книги, яку можна завантажити:

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