Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

VMCAI
2009
Springer

favoriteEmaildiscussreport

119views Software Engineering» more VMCAI 2009»

The Higher-Order Aggregate Update Problem

13 years 11 months ago

The Higher-Order Aggregate Update Problem

Download www.ccs.neu.edu

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.

Christos Dimoulas, Mitchell Wand

Real-time Traffic

Functional Aggregate Update | Multi-pass Interprocedural Analysis | Software Engineering | Untyped Programs | VMCAI 2009 |

claim paper

Related Content

» LinearTime Hierarchies for a Functional Language Machine Model

» Joindistinct aggregate estimation over update streams

» Incremental Update to Aggregated Information for Data Warehouses over Internet

» pCube UpdateEfficient Online Aggregation with Progressive Feedback and Error Bounds

» Updating pagerank with iterative aggregation

» Optimal and Scalable Distribution of Content Updates over a Mobile Social Network

» Incremental Computation and Maintenance of Temporal Aggregates

» On the Aggregatability of Router Forwarding Tables

» Distributed Dynamic Shared Tree for Minimum Energy Data Aggregation of Multiple Mobile Sin...

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	VMCAI
Authors	Christos Dimoulas, Mitchell Wand

Comments (0)