A Naïve Time Analysis and its Theory of Cost Equivalence (1995)

by David Sands
Venue:Journal of Logic and Computation
Citations:39 - 7 self

Active Bibliography

21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
Abstract Interpretation and Low-Level Code Optimization – Saumya Debray - 1995
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
5 A Co-induction Principle for Recursively De ned Domains, Theoretical Computer Science – Andrew M. Pitts - 1992
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
10 Improvement Theory and its Applications – David Sands - 1997
12 Automatic accurate stack space and heap space analysis for high-level languages – Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu - 2000
38 Automatic Accurate Time-Bound Analysis for High-Level Languages – Yanhong Liu, Gustavo Gomez - 1998
24 Automatic time-bound analysis for a higher-order language – Gustavo Gomez, Yanhong A. Liu - 2002
15 Automatic Accurate Cost-Bound Analysis for High-Level Languages – Yanhong A. Liu, Gustavo Gómez, Corresponding Yanhong, A. Liu, Yanhong A. Liu Gustavo Gomez - 2001
Parametric Heap Usage Analysis . . . – Leena Unnikrishnan, Scott D. Stoller - 2009
24 A sized time system for a parallel functional language – Hans-wolfgang Loidl, Kevin Hammond - 2003
39 Deriving incremental programs – Yanhong A. Liu, Tim Teitelbaum - 1993
47 Static caching for incremental computation – Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum - 1998
3 A Denotational Approach to Measuring Complexity in Functional Programs – Kathryn Van Stone, Frank Pfenning, Dana Scott, Carl Gunter - 2003
17 Cost Recurrences for DML Programs – Bernd Grobauer - 2001
25 A Monadic Calculus for Parallel Costing of a Functional Language of Arrays – C. B. Jay, M. I. Cole, M. Sekanina, P. Steckler - 1997
48 Parallel Programming using Functional Languages – Paul Roe, M. Eng (york - 1991