Functional Programming Group at the University of St Andrews Dependable Systems Group at Heriot Watt University

The Hume Programming Language

Hume (Higher-order Unified Meta-Environment) is a strongly typed, mostly-functional language with an integrated tool set for developing, proving and assessing concurrent, safety-critical systems. Hume aims to extend the frontiers of language design for resource-limited systems, including real-time embedded and safety-critical systems, by introducing new levels of abstraction and provability.

This page was last modified on Friday 19 October 2007 15:25:20. This site is maintained by Robert Rothenberg (r r at cs dot st - andrews dot ac dot uk).