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 all top 5 Cited by 6 Authors 1 Brady, Edwin C. 1 Cavalcanti, Ana 1 Clayton, Phil 1 Grov, Gudmund 1 Michaelson, Greg 1 O’Halloran, Colin Cited in 2 Serials 1 Formal Aspects of Computing 1 Higher-Order and Symbolic Computation Cited in 1 Field 3 Computer science (68-XX) Citations by Year