A Functional Semantics for Space and Time

A Functional Semantics for Space and Time (2008)

Cached

Download Links

[www.cs.nott.ac.uk]

by Catherine Hope

BibTeX

@MISC{Hope08afunctional,
    author = {Catherine Hope},
    title = {A Functional Semantics for Space and Time},
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

200	Introduction to functional programming using Haskell - Bird - 1998
100	98 language and libraries: the Revised Report - Haskell - 2003
89	Abstract models of memory management - Morrisett, Felleisen, et al. - 1995
80	Mechanical program analysis - Wegbreit - 1975
76	Automatic complexity analysis - Rosendahl - 1989
72	Recursion and dynamic data structures in bounded space: towards embedded ML programming - RJM, Pareto - 1999
44	Complexity analysis for a lazy higher-order language - Sands - 1990
43	Static dependent costs for estimating execution time - Reistad, DK - 1994
40	A naïve time analysis and its theory of cost equivalence - Sands - 1995
40	Semantics of memory management for polymorphic languages - Morrisett, Harper - 1997
36	Automatic accurate time-bound analysis for high-level languages - Liu, Gómez - 1998
33	Strictness analysis aids time analysis - Wadler - 1988
31	Improvement in a lazy context: an operational theory for call-by-need - Sands, Moran - 1999
28	A (2001). A Practical Introduction to Data Structures and Algorithm Analysis - Shaffer
27	A compositional approach to time analysis of first order lazy functional programs - Bjerner, Holmstrom - 1989
24	Automatic time-bound analysis for a higher-order language - G’omez, Liu - 1999
16	Automated higher-order complexity analysis - Benzinger - 2004
14	Program Construction: Calculating Implementations from Specifications - Backhouse - 2003
14	Mechanical analysis of program complexity - LeM'etayer - 1985
11	Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs - Vasconcelos, Hammond - 2003
9	Lightweight semiformal time complexity analysis for purely functional data structures - Danielsson
8	Complexity analysis for higher order language - Sands - 1988
7	Cost analysis using automatic size and time inference - Portillo, Hammond, et al.
4	A space semantics for core Haskell - Bakewell, Runciman
1	Automated computational complexity analysis - Benzinger - 2001