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 language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science 2011 |
| Publisher | Springer-Verlag |
| Pages | 122-139 |
| Publication status | Published - 2001 |