From Applicative to Environmental Bisimulation
From Applicative to Environmental Bisimulation
复制标题
DOI：
10.1016/j.entcs.2011.09.023
复制
发表时间：
2011-09
期刊：
影响因子：
--
通讯作者：
Vasileios Koutavas;P. Levy;Eijiro Sumii
中科院分区：
文献类型：
--
作者：
Vasileios Koutavas;P. Levy;Eijiro Sumii
我们照亮的重要方面的语义的高阶函数是常见的存在下，本地状态，异常，名称和类型抽象通过一系列的例子，添加到那些斯塔克。最重要的是，我们表明，任何这些语言功能引起的现象，某些行为的高阶函数只能通过提供给他们的参数，内部调用的功能再次观察。其他的例子显示了观察者需要累积从程序接收到的值并生成新的名称。这为环境互模拟定义中函数的复杂条件的必要性提供了证据，环境互模拟在这些方面都偏离了应用互模拟。
We illuminate important aspects of the semantics of higher-order functions that are common in the presence of local state, exceptions, names and type abstraction via a series of examples that add to those given by Stark. Most importantly we show that any of these language features gives rise to the phenomenon that certain behaviour of higher-order functions can only be observed by providing them with arguments which internally call the functions again. Other examples show the need for the observer to accumulate values received from the program and generate new names. This provides evidence for the necessity of complex conditions for functions in the definition of environmental bisimulation, which deviates in each of these ways from that of applicative bisimulation.