操作语义的结构方法

这篇颇有影响力的论文开启了现代操作语义的时代.

第1章 转换系统和自动机解释

第1.1节 引论

这些笔记的目的是为了建立描述编程语言的语义的一种简单而直接的方法. 几乎不需要数学背景; 牵涉到的数学只是这样或那样的symbol-pushing, 若是读者具有非数值方面的编程经验, 或者对于数理逻辑中所采用的形式演绎系统的经验, 那么就应该已经对此相当熟悉了.

除了数学上的简单性, 这种方法意在产生简明而可理解的语义定义.

第1.2节 转换系统

第1.3节 转换系统的例子

我们回忆一下来源于可计算理论和形式语言理论的一些我们熟悉或者不那么熟悉的例子.

第1.3.1小节 有限自动机

第1.3.2小节 三计数器机器

第1.3.3小节 上下文无关文法

第1.3.4小节 带标签转换系统

第1.4节 自动机的解释

第2章 参考文献

第3章 简单表达式和命令

第4章 参考文献

第5章 定义和声明

第6章 参考文献

第7章 函数, 过程和类