Hume: a domain-specific language for real-time embedded systems Export

@inproceedings{hammond2003:hume-domain, abstract = {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.}, address = {New York, NY, USA}, author = {Hammond, Kevin and Michaelson, Greg}, booktitle = {GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering}, citeulike-article-id = {3529}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=954189}, isbn = {3-540-20102-5}, keywords = {embedded-systems, functional-programming}, location = {Erfurt, Germany}, pages = {37--56}, posted-at = {2009-11-05 14:28:09}, priority = {0}, publisher = {Springer-Verlag New York, Inc.}, title = {Hume: a domain-specific language for real-time embedded systems}, url = {http://portal.acm.org/citation.cfm?id=954189}, year = {2003} }

TY - CONF ID - hammond2003:hume-domain L3 - citeulike-article-id:3529 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. CY - Erfurt, Germany SN - 3-540-20102-5 AD - New York, NY, USA EP - 56 TI - Hume: a domain-specific language for real-time embedded systems PB - Springer-Verlag New York, Inc. T2 - GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering SP - 37 KW - embedded-systems KW - functional-programming AU - Hammond, Kevin AU - Michaelson, Greg PY - 2003/// UR - http://portal.acm.org/citation.cfm?id=954189 ER -