Hume (High-order Unified Meta-Environment)

Hume is a novel programming language with statically determinate time and space bounds. It is based on concurrent finite state machines whose transitions are controlled by pattern matching and recursive functions. Hume is a layered language whose subsets have increasingly strong decidable properties. For more details about the Hume project see here. Current group members working in this area are:

• Greg Michaelson (Home page E-mail greg@macs.hw.ac.uk) Senior Lecturer
  • Language design
  • Implementation

• Liu Chunxu (E-mail chunxu@macs.hw.ac.uk) PhD Student
  • Visualisation
  • Provably correct translation to Java

• Graeme McHale (E-mail graeme_mchale@agilent.com) PhD Student
  • Abstract machine
  • Optimisation