Complexity Analysis for a Lazy Higher-Order Language (1990)

Cached

Download Links

by David Sands
Venue:In Proceedings of the 3rd European Symposium on Programming
Citations:47 - 2 self

Active Bibliography

3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
39 A Naïve Time Analysis and its Theory of Cost Equivalence – David Sands - 1995
President – These Doctorat, L'universite Paris Vi, Systemes Informatiques, Madame Corinne Ancourt, Monsieur Paul Feautrier, Monsieur Claude Girault, Monsieur Francois Irigoin, Monsieur Yves Robert, Monsieur Francois Thomasset
A Functional Semantics for Space and Time – Catherine Hope - 2008
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
Purity, Impurity and Efficiency in Graph Algorithms – n.n.
1 Resource analyses for parallel and distributed coordination – P. W. Trinder, M.I.Cole, K. Hammond, H-W. Loidl, G. J. Michaelson - 2011
35 Strictness Analysis Aids Time Analysis – Philip Wadler - 1988
3 Backward Analysis for Higher-Order Functions Using Inverse Images – Tyng-Ruey Chuang, Benjamin Goldberg - 1991
Strictness Analysis in 4D – Kei Davis Dept, Kei Davis - 1990
50 Heap Profiling of Lazy Functional Programs – Colin Runciman, David Wakeling - 1992
2 Fast Strictness Analysis Based on Demand Propagation – R. Sekar, I. V. Ramakrishnan - 1995
22 Polymorphic Time Systems for Estimating Program Complexity – Vincent Dornic, Pierre Jouvelot, David K. Gifford - 1991
64 Task Granularity Analysis in Logic Programs – Saumya K. Debray, Nai-wei Lin, Manuel Hermenegildo - 1990
An Intensional Investigation of Parallelism – Denis Dancanet - 1994
4 Demand Transformation Analysis for Concurrent Constraint Programs – Moreno Falaschi, Patrick Hicks, William Winsborough - 1994
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
1 Type Theory and Projections for Static Analysis – Clement A. Baker-Finch - 1995