萨姆森·艾布拉姆斯基;盖·麦库斯克 线性、共享和状态：一个带有活动表达式的理想化Algol的完全抽象游戏语义。（扩展摘要）。 （英语） Zbl 0909.68029号 Girard，Jean-Yves（编辑）等人，《线性逻辑》96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。第3、13页（1996年）。 摘要：对状态随时间变化的对象的操作在计算中非常普遍。这类对象最简单的例子可能是经典命令式语言的程序变量。约翰·雷诺兹（John Reynolds）开创了这类语言研究的一个重要分支，其重点是“理想化算法”（Idealized Algol），这是命令和功能特征的优雅综合。我们使用游戏为理想化算法提供了一种新的语义，这与传统的状态指称模型大不相同。该模型考虑了状态变化的不可逆性，并明确了实体复制和共享之间的区别。作为对模型准确性的形式化度量，我们得到了具有活动表达式的理想化算法的完全抽象定理。关于整个系列，请参见[Zbl 0903.00059号]. 引用于37文件 MSC公司： 68甲15 编程语言理论 关键词：理想化藻类 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{G.McCusker}，in：线性逻辑96。会议论文，庆应义塾大学，日本东京，1996年3月28日至4月2日。阿姆斯特丹：爱思唯尔。第13页（1996年；Zbl 0909.68029） 全文： 链接