The space usage problem: An evaluation kit for graph-reduction semantics (2000) [1 citations — 1 self]
Download:
|
|
by Adam Bakewell, Colin Runciman
School of Computer Science, University of St
http://www.cs.york.ac.uk/~ajb/tgros.ps.gz
Add To MetaCart
Abstract:
We describe a software tool for specifying operational semantics as a term-graph reduction system. The semantics are guaranteed to model the asymptotic space and time usage of an implementation accurately yet are abstract enough to support reasoning at the program level. Term graphs make all the aspects of reduction relating to space usage explicit 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. 1
