TY - CONF
T1 - Hume: a Bounded Time Concurrent Language
AU - Hammond, Kevin
N1 - 7th IEEE International Conference on Electronics, Circuits & Systems (ICECS '2K), Kashlik, Lebanon, refereed conference, IEEE Press
PY - 2000/12/1
Y1 - 2000/12/1
N2 - This paper gives a formal description of Hume, a novel functionally-based concurrent language that aims to target space- and time-critical systems. The language supports rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, and higher-order functions. It is designed around a formal dynamic semantics, integrated with a simple static time analysis.
AB - This paper gives a formal description of Hume, a novel functionally-based concurrent language that aims to target space- and time-critical systems. The language supports rigorous cost and space analyses, whilst providing a high level of abstraction including polymorphic type inference, automatic memory management, and higher-order functions. It is designed around a formal dynamic semantics, integrated with a simple static time analysis.
UR - http://www.scopus.com/inward/record.url?scp=35248842179&partnerID=8YFLogxK
UR - http://www.dcs.st-and.ac.uk/research/publications/Ham00a.php
M3 - Paper
SP - 407
EP - 411
ER -