游戏语义

游戏语义是编程语言的一种指称语义, 其将项解释为自身与上下文之间的交互.

第1章 引论

游戏语义 (GS) 是数学地描述编程语言 (PL) 的行为的一种方式; 其是一种所谓的指称语义 (DS). 一种理解指称语义的方法是将其与操作语义 (OS) 进行对比, 操作语义是另一种对于编程语言的数学描述.

操作语义是句法性的, 也是自足的. 其通过一集具有形式$$t,c\to t^{\prime },c^{\prime }$$的转换规则来定义编程语言, 其中$t,t^{\prime }$是项而$c,c^{\prime }$是额外的配置信息.

第2章 游戏语义, 一种交互语义

第3章 理想化的并发Algol

第4章 trace semantics, 另一种交互语义