Hume

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.


References in zbMATH (referenced in 5 articles )

Showing results 1 to 5 of 5.
Sorted by year (citations)

  1. 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
  2. Markus Voelter, Daniel Ratiu, Bernhard Schaetz, Bernd Kolb: mbeddr: an extensible C-based programming language and IDE for embedded systems (2012) not zbMATH
  3. Cavalcanti, Ana; Clayton, Phil; O’Halloran, Colin: From control law diagrams to Ada via \textsfCircus (2011)
  4. Grov, Gudmund; Michaelson, Greg: Hume box calculus: Robust system development through software transformation (2010)
  5. Brady, Edwin: Ivor, a proof engine (2007)