Algorithmic Nominal Game Semantics
Algorithmic Nominal Game Semantics
复制标题
算法名义游戏语义
DOI：
10.1007/978-3-642-19718-5_22
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
N. Tzevelekos
中科院分区：
文献类型：
--
作者：
A. Murawski;N. Tzevelekos
我们采用无限字母表上的自动机来捕捉具有地面类型引用的 ML 有限片段的语义。我们的方法建立在博弈语义学的基础上，它允许我们将程序转化为自动机，从而用有限的双相似性概念来表征上下文等价性。作为推论，我们得出了一类一阶程序的可解性结果，包括包含未指定一阶程序的开放程序。
We employ automata over infinite alphabets to capture the semantics of a finitary fragment of ML with ground-type references. Our approach is founded on game semantics, which allows us to translate programs into automata in such a way that contextual equivalence is characterized by a finitary notion of bisimilarity. As a corollary, we derive a decidability result for a class of first-order programs, including open ones that contain unspecified first-order procedures.
DOI：
10.1016/j.apal.2013.05.007
发表时间：
2009-03
期刊：
--
影响因子：
--
作者：
A. Murawski;N. Tzevelekos
通讯作者：
A. Murawski;N. Tzevelekos
计算机科学逻辑
DOI：
10.1007/978-3-642-15205-4_34
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Nenov Y
通讯作者：
Nenov Y