This document describes the Hume programming language. Hume (Higher-order Unified Meta-Environment) is a strongly typed, functionally-based language with an integrated tool set for developing, proving and assessing concurrent, resource-limited systems, such as embedded or safetycritical systems. It aims to extend the frontiers of language design for such systems, introducing new levels of abstraction and provability

Abstract not found