The higher-order aggregate update problem

Christos Dimoulas; Mitchell Wand

doi:10.1007/978-3-540-93900-9_8

The higher-order aggregate update problem

Christos Dimoulas^*, Mitchell Wand

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

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.

Original language	English (US)
Title of host publication	Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings
Pages	44-58
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-540-93900-9_8
State	Published - 2009
Event	10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009 - Savannah, GA, United States Duration: Jan 18 2009 → Jan 20 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5403 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009
Country/Territory	United States
City	Savannah, GA
Period	1/18/09 → 1/20/09

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-93900-9_8

Cite this

Dimoulas, C., & Wand, M. (2009). The higher-order aggregate update problem. In Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings (pp. 44-58). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5403 LNCS). https://doi.org/10.1007/978-3-540-93900-9_8

@inproceedings{a53cbdb2466b45c08f9ae73761cb3a8f,

title = "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.",

author = "Christos Dimoulas and Mitchell Wand",

year = "2009",

doi = "10.1007/978-3-540-93900-9_8",

language = "English (US)",

isbn = "3540938990",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "44--58",

booktitle = "Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings",

note = "10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009 ; Conference date: 18-01-2009 Through 20-01-2009",

}

Dimoulas, C & Wand, M 2009, The higher-order aggregate update problem. in Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5403 LNCS, pp. 44-58, 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, Savannah, GA, United States, 1/18/09. https://doi.org/10.1007/978-3-540-93900-9_8

The higher-order aggregate update problem. / Dimoulas, Christos; Wand, Mitchell.
Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Proceedings. 2009. p. 44-58 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5403 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - The higher-order aggregate update problem

AU - Dimoulas, Christos

AU - Wand, Mitchell

PY - 2009

Y1 - 2009

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 -

The higher-order aggregate update problem

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this