Hume (Higher-order Unified Meta-Environment) is a strongly typed, mostly-functional language with an integrated tool set for developing, proving and assessing concurrent, safety-critical systems. Hume aims to extend the frontiers of language design for resource-limited systems, including real-time embedded and safety-critical systems, by introducing new levels of abstraction and provability..
In Hume you model finite state machines at the thread level as a stateless box, specifying its asynchronous inputs and outputs as wiring boxes connections which is accomplished through generated mailboxes.
Calculations are provided in functional programming style, with facilities to bound and profile execution costs in Time, Heap space and Stack space. Exceptions are caught only at box level.
Hume is a language made by the Haskell factory of Scotland and it borrows several aspects from this language (function type definitions, pattern matching, comments, ..).hijackerhijacker
This category currently contains no pages or media.