e/Hume (language)

Information
has gloss	eng: 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 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.
lexicalization	eng: Hume
instance of	c/Functional languages

Meaning
Catalan
has gloss	cat: Hume (Higher-order Unified Meta-Environment) és un llenguatge de programació funcional i tipificació forta per a sistemes amb recursos limitats que incorpora en el llenguatge elements per assegurar l'execució acotada en temps i espai.
lexicalization	cat: Hume

Media
media:img	HumeStatue-Edinburgh2006.gif