TY - GEN
T1 - Hume: a Domain-Specific Language for Real-Time Embedded Systems
AU - Hammond, Kevin
AU - Michaelson, GJ
PY - 2003
Y1 - 2003
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=35248821142&partnerID=8YFLogxK
UR - http://www.dcs.st-and.ac.uk/research/publications/HM03b.php
M3 - Conference contribution
SN - 3540201025
T3 - Lecture notes in computer science
SP - 37
EP - 56
BT - Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 2003 : proceedings
A2 - Pfenning, F
A2 - Smaragdakis, Y
PB - Springer-Verlag
ER -