The Higher-Order Aggregate Update Problem

被引：0
|
作者：
Dimoulas, Christos [1 ]
Wand, Mitchell [1 ]
机构：
[1] Northeastern Univ, Coll Comp & Informat Sci, Boston, MA 02115 USA
来源：
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION | 2009年 / 5403卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestricted closures and nested arrays. Also, it can handle programs that contain a mix of functional and destructive updates. Correctness of all the analyses and of the transformation itself is proved.
引用
收藏
页码：44 / 58
页数：15
相关论文
共 50 条
12345