@MISC{Dimoulas_thehigher-order, author = {Christos Dimoulas and Mitchell W}, title = {The Higher-order Aggregate Update Problem}, year = {} }
Bookmark
OpenURL
Abstract
Abstract. 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. 1