The space usage problem: An evaluation kit for graph reduction semantics

Abstract

We describe a software tool for specifying operational semantics as a term-graph reduction system. The semantics are guaranteed to accurately model the asymptotic space and time usage of an implementation yet are abstract enough to support reasoning at the program level. Term graphs make explicit all the aspects of reduction relating to space usage as they naturally encode size and address information. The semantics are constrained to be small-step, deterministic rules and each rewrite step uses bounded resources. The result is a system suitable for describing and analysing the space behaviour of functional programming languages.

Extracted Key Phrases

Cite this paper

@inproceedings{Bakewell2000TheSU, title={The space usage problem: An evaluation kit for graph reduction semantics}, author={Adam Bakewell and Colin Runciman}, booktitle={Scottish Functional Programming Workshop}, year={2000} }