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

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.