Skip to content

Research at St Andrews

The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour

Research output: Chapter in Book/Report/Conference proceedingChapter


This paper provides a self-contained formal description of the dynamic properties of Hume, a novel functionally-based concurrent language that alms to target space- and time-critical systems such as safety-critical, embedded and real-time systems. The language is designed to support rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, higher-order functions, exception-handling and a good range of primitive types.



Original languageEnglish
Title of host publicationLecture Notes in Computer Science 2011
Publication statusPublished - 2001

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

View graph of relations

ID: 237061