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.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Prähofer, Herbert; Schatz, Roland; Wirth, Christian; Hurnaus, Dominik; Mössenböck, Hanspeter: \textscMonaco-- a domain-specific language solution for reactive process control programming with hierarchical components (2013) ioport
- Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb: mbeddr: an extensible C-based programming language and IDE for embedded systems (2012) not zbMATH
- Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin: From control law diagrams to Ada via \textsfCircus (2011)
- Grov, Gudmund; Michaelson, Greg: Hume box calculus: Robust system development through software transformation (2010)
- Brady, Edwin: Ivor, a proof engine (2007)