Set constraints for destructive array update optimization

Author

Wand, Mitchell ; Clinger, William D.

Author_Institution

Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA

fYear

1998

fDate

14-16 May 1998

Firstpage

184

Lastpage

193

Abstract

Destructive array update optimization is critical for writing scientific codes in functional languages. We present set constraints for an interprocedural update optimization that runs in polynomial time. This is a multi pass optimization, involving interprocedural flow analyses for aliasing and liveness. We characterize the soundness of these analyses using small step operational semantics. We have also proved that any sound liveness analysis induces a correct program transformation

Keywords

functional languages; functional programming; optimising compilers; programming theory; set theory; aliasing; correct program transformation; destructive array update optimization; functional languages; interprocedural flow analyses; interprocedural update optimization; multi pass optimization; polynomial time; scientific codes; set constraints; small step operational semantics; sound liveness analysis; soundness; Acoustic propagation; Algorithm design and analysis; Computer science; Constraint optimization; Data structures; Degradation; Educational institutions; Instruments; Polynomials; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Languages, 1998. Proceedings. 1998 International Conference on

Conference_Location

Chicago, IL

ISSN

1074-8970

Print_ISBN

0-8186-8454-2

Type

conf

DOI

10.1109/ICCL.1998.674169

Filename

674169