Hume (programming language): Difference between revisions

Revision as of 20:25, 10 February 2009

Revision as of 07:31, 16 February 2009

Line 1:

{{Orphan|date=February 2009}}

[[Image:HumeStatue-Edinburgh2006.gif|thumb|Hume Statue in Edinburgh]]

'''Hume''' is a functionally-based programming language developed at the [[University of St Andrews]] and [[Heriot-Watt University]] in [[Scotland]], and named after the 18th Century philosopher [[David Hume]]. It targets [[real-time computing|real-time]] [[embedded systems]], aiming to produce a design that is both highly abstract, yet which will still allow precise extraction of time and space execution costs, so allowing programs to be written that will execute under guaranteed bounded time and space constraints.