Hume (language)

Hume (language)

Hume is a functionally-based programming language developed at St Andrews University 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.

Hume is unusual in combining functional programming ideas with ideas from finite state automata. Automata are used to structure communicating programs into a series of "boxes", where each box maps inputs to outputs in a purely functional way using high-level pattern-matching. It is also unusual in being structured as a series of levels, each of which exposes differentmachine properties.

The Hume Design Model

The Hume language design attempts to maintain the essential properties and features required by the embedded systems domain (especially for transparent time and space costing) whilst incorporating as high a level of program abstraction as possible. It aims to target applications ranging from simple micro-controllers to complex real-time systems such as smartphones. This ambitious goal requires incorporating both low-level notions such as interrupt handling, and high-level ones of data structure abstraction etc. Of course such systems will be programmed in widely differing ways, but the language design should accommodate these varying requirements.

Hume is a three-layer language: an outer (static) declaration/metaprogramming layer, an intermediate coordination layer describing a static layout of dynamic processes and the associated devices, and an inner layer describing each process as a (dynamic)mapping from patterns to expressions. The inner layer is stateless and purely functional.

Rather than attempting to apply cost modeling and correctness proving technology to an existing language framework either directly or by altering a more general language (as with e.g. RTSJ), the approach taken by the Hume designers is to design Hume in such a way that that formal models and proofs can definitely be constructed. Hume is structured as a series of overlapping language levels, where each level adds expressibility to the expression semantics, but either loses some desirable property or increases the technical difficulty of providing formal correctness/cost models.

External links

* [http://www.hume-lang.org The Hume Language Web Site]
* [http://www.macs.hw.ac.uk/~greg/hume/ The Hume Project at Heriot-Watt University]
* [http://www.inf.bme.hu/fp4es/papers/PataiHanakSE2007Presentation.ppt Embedded Functional Programming in Hume]
* [ftp://ftp.macs.hw.ac.uk/pub/funcprog/hm.gpce03.ps.Z Hume: a Domain-Specific Language for Real-Time Embedded Systems (zipped .PS)]
* [http://embounded.org/ The EmBounded project] Project to certify resource-bounded code in Hume.
* [http://glew.org/damp2006/Hume-Multicore.ppt Hume and Multicore]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Hume — ( Home is an older variant spelling of Hume, still used for the senior branches of the family) is a surname that originated in the South East of Scotland, of which the senior representatives are the Earls of Home. The name can refer to several… …   Wikipedia

  • Hume: moral and political philosophy — Rosalind Hursthouse INTRODUCTION Hume’s moral and political philosophy, like his epistemology and meta physics, originally appeared in A Treatise of Human Nature, (henceforth [7.1]), Book III of which, ‘Of Morals’, was published in 1740. He… …   History of philosophy

  • Hume's principle — Hume s Principle, or HP the terms were coined by George Boolos mdash;says that the number of F s is equal to the number of G s if there is a one to one correspondence (a bijection) between the F s and the G s. HP can be stated formally in systems …   Wikipedia

  • Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… …   Wikipedia

  • language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… …   Universalium

  • Hume on human understanding — David Hume on human understanding Anne Jaap Jacobson David Hume’s A Treatise of Human Nature1 was published before he was 30 years old. It is often said to be the greatest philosophical work written in English. Bold and ambitious, it is designed… …   History of philosophy

  • Hume, David — (1711 76)    by Cliff Stagoll   David Hume was a Scottish philosopher, historian, economist and religious theorist, and perhaps the best known of the philosophers commonly designated empiricists . Although Hume s grouping with such thinkers as… …   The Deleuze dictionary

  • Hume, David — (1711 76)    by Cliff Stagoll   David Hume was a Scottish philosopher, historian, economist and religious theorist, and perhaps the best known of the philosophers commonly designated empiricists . Although Hume s grouping with such thinkers as… …   The Deleuze dictionary

  • Hume's fork — In philosophy, Hume s fork is a distinction drawn by David Hume between two different areas of human study:: All the objects of human reason or enquiry may naturally be divided into two kinds, to wit, Relations of Ideas, and Matters of fact. Of… …   Wikipedia

  • Hume Studies — Infobox Journal title = Hume Studies editor = discipline = Philosophy language = English abbreviation = publisher = Hume Society country = U.S. frequency = Biannually history = 1975 to present openaccess = Vols. 1 27 impact = impact year =… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”