Date: Monday, 2009-11-02 (please note the deviating day, time and location!)
Room: Minnaert 208. Information about this location: here
Speaker: Kevin Hammond, University of St. Andrews
Title: Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems
In this talk, I will introduce the novel Hume programming language, which is built from the
ground up around the concept of costable resource usage. Hume aims to provide a high
level of programming abstraction while allowing good cost models and analyses to be
constructed. Key to this is the concept of box-based programming, which allows the
construction of complex reaction systems from simpler language components.
The talk introduces the Hume language, discusses key concepts and considers recent
research results in costing first-order and higher-order programs using automatic
amortised analysis. These results will be presented in detail at FM 2009 and in
a forthcoming POPL 2010 paper.
Website of Hume: here