TY - GEN
T1 - The higher-order aggregate update problem
AU - Dimoulas, Christos
AU - Wand, Mitchell
PY - 2009/1/27
Y1 - 2009/1/27
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=58449127278&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=58449127278&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-93900-9_8
DO - 10.1007/978-3-540-93900-9_8
M3 - Conference contribution
AN - SCOPUS:58449127278
SN - 3540938990
SN - 9783540938996
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 44
EP - 58
BT - Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings
T2 - 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009
Y2 - 18 January 2009 through 20 January 2009
ER -