Title :
Set constraints for destructive array update optimization
Author :
Wand, Mitchell ; Clinger, William D.
Author_Institution :
Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA
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;
Conference_Titel :
Computer Languages, 1998. Proceedings. 1998 International Conference on
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-8454-2
DOI :
10.1109/ICCL.1998.674169
