计算机科学>计算机科学中的逻辑
标题: 高阶递归格式中的IO与OI
摘要: 我们对高阶递归格式的求导模式进行了研究,证明了从使用最内层-最外层求导(IO)的格式中获得的值树与使用无限制求导获得的值树都是相同的。 鉴于高阶递归方案可以用作函数程序的模型,最内层-最外层派生策略代表了按值调用评估策略的理论观点。
摘要: 我们对高阶递归格式的求导模式进行了研究,证明了从使用最内层-最外层求导(IO)的格式中获得的值树与使用无限制求导获得的值树都是相同的。 鉴于高阶递归方案可以用作函数程序的模型,最内层-最外层派生策略代表了按值调用评估策略的理论观点。
|
|
|
|
|