Skip to content

Research at St Andrews

Hume: a Bounded Time Concurrent Language

Research output: Contribution to conferencePaper


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

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 103926