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

Kevin Hammond

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Citations (Scopus)

Abstract

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
PublisherSpringer-Verlag
Pages122-139
Publication statusPublished - 2001

Fingerprint

Dive into the research topics of 'The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour'. Together they form a unique fingerprint.

Cite this