Я новичок в теории языков программирования и ищу хороший ресурс по формальной семантике языков программирования. Специально ищет структурную операционную семантику. Я получил несколько рекомендаций книги. Но я ищу ресурс на более начальном уровне. Особенно приветствуются учебники, веб-сайт и бесплатные книги.
17
Ответы:
Просмотр курса по операционной семантике в моем университете дает следующие три:
Ohad.
источник
Структурная операционная семантика (SOS) является очень общей концепцией. По сути, это просто бинарное отношение к конфигурациям (обычно это программы плюс контекст, например, состояние или доступные продолжения) или, в случае помеченной семантики, троичное отношение между конфигурациями, действиями (которые представляют определенные минимальные контексты) и конфигурациями. «Структурный» бит обычно состоит в том, что эти отношения определяются индуктивно по задействованному синтаксису (например, конфигурации и действия).
Как таковые, без других требований, математические объекты, которые мы рассматриваем в SOS, являются слишком общими, чтобы быть интересными / понятными сами по себе.
SOS становится интересным и существенным, когда мы смотрим на особые случаи, например, эквивалентности для временных исчислений, помеченные переходы для асинхронного пространственного исчисления, соответствующие сокращениям, или вопросы об выразительности определенных (классов) исчислений.
Поэтому я рекомендую Mr / Ms Systemsfault пропустить обобщения и сразу перейти к конкретным интересным исчислениям. Общие методы SOS можно легко подобрать по пути.
источник
Я бы порекомендовал прочитать Главу 2 в этой загружаемой книге:
Семантика с приложениями: официальное введение, Ханне Риис Нильсон и Флемминг Нильсон, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html
источник