The Higher-Order Aggregate Update Problem

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.

• Type: Conference
• Year: 2009
• Where: VMCAI
• Authors: Christos Dimoulas, Mitchell Wand
• Keywords: Functional Aggregate Update, Multi-pass Interprocedural Analysis, Software Engineering, Untyped Programs, VMCAI 2009