Predictable space behaviour in FSM-Hume

Kevin Hammond, Greg Michaelson

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

2 Citations (Scopus)

Abstract

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
Pages1-16
Number of pages16
Volume2670
ISBN (Electronic)978-3-540-44854-9
DOIs
Publication statusPublished - 2003
Event14th International Workshop on the Implementation of Functional Languages - Madrid, Spain
Duration: 16 Sep 200218 Sep 2002

Conference

Conference14th International Workshop on the Implementation of Functional Languages
Abbreviated titleIFL'02
CountrySpain
CityMadrid
Period16/09/0218/09/02

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

  • Cite this

    Hammond, K., & Michaelson, G. (2003). Predictable space behaviour in FSM-Hume. In Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers (Vol. 2670, pp. 1-16) https://doi.org/10.1007/3-540-44854-3_1