×

Hume

swMATH ID: 22188
Software Authors: Hammond, K., Michaelson, G.
Description: Hume: a Domain-Specific Language for Real-Time Embedded Systems. This paper describes Hume: a novel domain-specific language whose purpose is to explore the expressibility/costability spectrum in resource-constrained systems, such as real-time embedded or control systems. Hume provides a number of high level features including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling, automatic memory management and domain-specific metaprogramming features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy.
Homepage: https://link.springer.com/chapter/10.1007/978-3-540-39815-8_3
Related Software: Cyclone; Cedalion; JastAdd; Feldspar; mbeddr; ArchJava; VisualStudio.NET; Esterel; SIGNAL; SugarCubes; Eden; Circus; ZRC; Z; ClawZ; ProofPower; Simulink; ArcAngel; Agda; LEGO
Cited in: 3 Publications

Citations by Year