自适应堆栈机
摘要：自适应计算为编写可以自动响应动态变化数据的程序提供了基于语言的方法。最近的研究在高级函数式语言的自适应计算的语义和实现方面取得了重要进展。然而，这些技术并未解决在低级语言（即基于堆栈的命令式语言，缺乏强类型系统和自动内存管理）中出现的问题。 本文描述了适用于低级语言的自适应计算技术。必然地，我们采用了与之前的工作不同的方法：我们并不是从一个附带支持自适应计算的高级语言开始，而是从一个低级中间语言开始，其语义由基于堆栈的抽象机器给出。我们证明了该语义是合理的：它总是以与完全重评估一致的方式更新计算。我们为我们的抽象机器使用的中间语言提供了一个编译器和运行时系统。我们进行了实证评估，结果表明我们的方法在实践中是高效的，并且相比之前的提议表现良好.
作者：Matthew A. Hammer and Georg Neis and Yan Chen and Umut A. Acar
论文ID：1108.3265
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-08-17