Hume: a Bounded Time Concurrent Language

Kevin Hammond

Research output: Contribution to conferencePaper

3 Citations (Scopus)


This paper gives a formal description of Hume, a novel functionally-based concurrent language that aims to target space- and time-critical systems. The language supports rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, and higher-order functions. It is designed around a formal dynamic semantics, integrated with a simple static time analysis.

Original languageEnglish
Publication statusPublished - 1 Dec 2000


Dive into the research topics of 'Hume: a Bounded Time Concurrent Language'. Together they form a unique fingerprint.

Cite this