A Uniform Treatment of Order of Evaluation and Aggregate Update (1993)

Cached

Download Links

by M. Draghicescu , S. Purushothaman
Venue:Theoretical Computer Science
Citations:8 - 0 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
19 Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates – A. V. S. Sastry, William D. CLinger, Zena Ariola - 1993
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
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
Strictness Analysis - Another Method – Michael Winikoff, Supervisor Dr. Harald Sndergaard, Langsam Misterioso - 1993
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
Contents – unknown authors
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language – Markus Freericks - 1996
5 Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads – Tyng-Ruey Chuang - 1992
3 Denotational Semantics of Evaluation Order in Expressions with Side Effects – Nikolaos S. Papaspyrou - 1998
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
456 Comprehending Monads – Philip Wadler - 1992
12 Strictness and Totality Analysis – Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson - 1994
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
Strictness Analysis in 4D – Kei Davis Dept, Kei Davis - 1990
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993