编程语言的形式语义

我是编程语言理论的新手，我正在寻找关于编程语言形式语义的资源的好资源。专门寻找结构化操作语义。我得到了一些书建议。但我正在寻找入门级的资源。特别欢迎教程，网站和免费书籍推荐。

看一下我大学的操作语义学课程，可以得到以下三个方面：

• 安德鲁·皮茨的讲义
• 戈登·普洛特金（Gordon Plotkin）的奥尔胡斯（Aarhus）关于结构化操作语义学的笔记
• 马修·轩尼诗（Matthew Hennessey）的《编程语言语义学》

奥哈德

结构化操作语义（SOS）是一个非常笼统的概念。它本质上只是配置上的二进制关系（通常是程序加上上下文，如状态或可用的延续），或者在标记语义的情况下，是配置，动作（代表某些最小上下文）和配置之间的三元关系。“结构”位通常是根据涉及的语法（例如，配置和动作）以归纳方式定义这些关系。

因此，在没有其他要求的情况下，我们在SOS中考虑的数学实体过于笼统，以至于不能凭其本身来加以关注/处理。

当我们研究特殊情况时，例如，时间计算的等效性，异步环境演算的标记转换（对应于归约）或关于某些（类）计算能力的问题，SOS变得有趣而实质。

因此，我对Systemsfault先生/女士的建议是跳过一般性知识，直接进入感兴趣的特定计算。在此过程中，可以轻松掌握常规的SOS技术。

我建议阅读此可下载书籍中的第2章：

应用程序的语义学：正式介绍， Hanne Riis Nielson和Flemming Nielson，Wiley，1992年。http： //www.daimi.au.dk/~bra8130/Wiley_book/wiley.html