Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates (1993)

Cached

Download Links

by A. V. S. Sastry , William D. CLinger , Zena Ariola
Venue:In Conference on Functional Programming Languages and Computer Architecture
Citations:19 - 1 self

Documents Related by Co-Citation

43 The Aggregate Update Problem in Functional Programming Systems. Pages 300–313 of – P Hudak, A Bloss - 1985
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
1312 Monads for functional programming – Philip Wadler - 1995
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
9 A Uniform Treatment of Order of Evaluation and Aggregate Update – M. Draghicescu, S. Purushothaman - 1993
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
14 Set Constraints for Destructive Array Update Optimization – Mitchell Wand, William D. Clinger - 1999
66 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
16 Path Analysis and the Optimization of Non-strict Functional Languages – A Bloss - 1989
129 Eekelen. Functional Programming and Parallel Graph Rewriting – R Plasmeijer, M van - 1993
128 types can change the world – Linear - 1990
45 Compile-time garbage collection by sharing analysis – S Jones, D L Metayer - 1989
16 Copy elimination in functional languages – K. Gopinath, John L. Hennessy - 1989
5 Analysis of affine communication specifications – S V Rajopadhye - 1993
6 Optimization and Verification of Systolic Architectures – Synthesis - 1986
8 Allocating Memory Arrays for Polyhedra – Doran K. Wilde, Sanjay Rajopadhye - 1993
22 un langage équationnel pour la conception et la programmation d’architectures parallèles synchrones – Alpha - 1989
11 Recursive programming through table look-up – D P Friedman, D S Wise, M Wand - 1976