Predictable space behaviour in FSM-Hume

Kevin Hammond, Greg Michaelson

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

6 Citations (Scopus)


The purpose of the Hume language design is to explore the expressibility/decidability spectrum in resource-constrained systems, such as real-time embedded or control systems. It is unusual in being based on a combination of ?-calculus and finite state machine notions, rather than the more usual prepositional logic, or flat finite-state-machine models. It provides a number of high level features including polymorphic types, arbitrary but sized user-defined data structures and automatic memory management, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy. A key issue is predictable space behaviour. This paper describes a simple model for calculating stack and heap costs in FSM-Hume, a limited subset of full Hume. This cost model is evaluated against an example taken from the research literature: a simple mine drainage control system. Empirical results suggest that our model is a good predictor of stack and heap usage, and that this can lead to good bounded memory utilisation. © Springer-Verlag Berlin Heidelberg 2003.

Original languageEnglish
Title of host publicationImplementation of Functional Languages
Subtitle of host publication14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers
Number of pages16
ISBN (Electronic)978-3-540-44854-9
Publication statusPublished - 2003
Event14th International Workshop on the Implementation of Functional Languages - Madrid, Spain
Duration: 16 Sept 200218 Sept 2002


Conference14th International Workshop on the Implementation of Functional Languages
Abbreviated titleIFL'02


Dive into the research topics of 'Predictable space behaviour in FSM-Hume'. Together they form a unique fingerprint.

Cite this