Sciweavers

VMCAI
2009
Springer
13 years 11 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