基于恢复的大步和小步解释器对带有交互式I/O的While循环进行翻译
摘要：使用While语言（扩展了输入和输出基本操作）编写了大步骤和小步骤的解释器。While是一个简单的命令式语言，包括跳过、赋值、顺序、条件和循环。首先，我们开发了基于跟踪的While解释器。跟踪是潜在的无限非空状态序列。解释器为While程序分配了跟踪：对我们来说，跟踪是While程序的指称。如果程序终止，跟踪是有限的；如果程序不终止，跟踪是无限的。然而，我们不能为任何给定的程序决定其跟踪是有限的还是无限的，这相当于决定停机问题。然后，我们使用交互式输入/输出基本操作扩展了While。相应地，我们通过将跟踪广义化为恢复来扩展解释器。这个教程是基于我们与T. Uustalu在建设性类型论环境中推理交互式程序的先前工作。
作者：Keiko Nakata (Institute of Cybernetics at Tallinn University of Technology)
论文ID：1109.0785
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-09-06