Algorithmic games for full ground references
Algorithmic games for full ground references
复制标题
全面参考的算法游戏
DOI：
10.1007/s10703-017-0292-9
复制
发表时间：
2017
影响因子：
0.8
通讯作者：
Murawski A
中科院分区：
文献类型：
--
作者：
Murawski A
我们提出了一个完整的分类的可判定和不可判定的情况下，上下文等价的有限ML类语言配备了完整的地面存储（整数和引用名称都可以存储）。最简单的不可判定类型是。在技术层面上，我们的研究结果结合游戏语义与自动机理论技术开发来处理无限的字母。在自动机理论的前沿，我们证明了空问题的寄存器下推自动机扩展新鲜符号生成的可判定性。
We present a full classification of decidable and undecidable cases for contextual equivalence in a finitary ML-like language equipped with full ground storage (both integers and reference names can be stored). The simplest undecidable type is. At the technical level, our results marry game semantics with automata-theoretic techniques developed to handle infinite alphabets. On the automata-theoretic front, we show decidability of the emptiness problem for register pushdown automata extended with fresh-symbol generation.
登录
查看更多内容
IMJ 的上下文等价检查器 *
DOI：
--
发表时间：
2015
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
A. Murawski;S. Ramsay;N. Tzevelekos
通讯作者：
N. Tzevelekos
通过游戏语义解构一般参考
DOI：
--
发表时间：
2013
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
A. Murawski;N. Tzevelekos
通讯作者：
N. Tzevelekos
影响因子：
1.1
作者：
Honda, K;Yoshida, N
通讯作者：
Yoshida, N
算法名义游戏语义
DOI：
10.1007/978-3-642-19718-5_22
发表时间：
2011
期刊：
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
影响因子：
--
作者：
A. Murawski;N. Tzevelekos
通讯作者：
N. Tzevelekos
一阶 Shapely 函数的多项式大小分析
DOI：
--
发表时间：
2009
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
O. Shkaravska;M. V. Eekelen;R. V. Kesteren
通讯作者：
R. V. Kesteren