Hume is a novel embedded systems language with an explicit separation between coordination and computation, based on concurrent boxes linked by wires. We are exploring:

• Hume on FPGAs through multi-processor soft cores
• multi-core Hume through compilation to C with OpenMP
• reasoning about Hume programs for multi-processor deployment with the box calculus

People: Greg Michaelson, Gudmund Grov
URL: http://www.macs.hw.ac.uk/~greg/hume/