Sciweavers

VMCAI
2009
Springer
14 years 2 months ago
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 unrestri...
Christos Dimoulas, Mitchell Wand