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

Active Bibliography

1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
Une Analyse De Globalisation De Programmes Fonctionnels Basée Sur Une Sémantique Naturelle – Valérie Gouranton
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
8 A Uniform Treatment of Order of Evaluation and Aggregate Update – M. Draghicescu, S. Purushothaman - 1993
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language – Markus Freericks - 1996
3 Partitioning Non-strict Functional Languages for Multi-threaded Code Generation – Satyan R. Coorg, Satyan R. Coorg - 1995
7 Derivation of Static Analysers of Functional Programs From Path Properties of a Natural Semantics – Valérie Gouranton, Daniel Le Métayer, Daniel Le Me, Et Daniel Le M, Projet Lande - 1995
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
16 Copy elimination in functional languages – K. Gopinath, John L. Hennessy - 1989
10 Efficiently Executing PVS – Shankar, Natarajan Shankar - 1999
8 Static Analysis for Safe Destructive Updates (Extended Abstract) – Natarajan Shankar - 2001
5 Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads – Tyng-Ruey Chuang - 1992
Better Static Memory Management: Improving Region-Based Analysis – Of Higher-Order Languages, Alexander Aiken, Manuel Fähndrich, Raph Levieny - 1995
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
22 Observers for Linear Types – Martin Odersky - 1992
3 Experiments With Destructive Updates in a Lazy Functional Language – Pieter H. Hartel, Willem G. Vree - 1994
Experiments with destructive updates in a – Pieter H. Hartel, Willem G. Vree
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990