Personal tools
You are here: Home Events ICSA Colloquium Talk

ICSA Colloquium Talk

— filed under:

Professor Kevin Hammond - 26 November 2009

  • Colloquium Series
When Nov 26, 2009
from 03:30 PM to 04:30 PM
Where 4.31/4.33
Contact Name
Contact Phone 0131 651 3291
Add event to calendar vCal

Thursday 26 November 2009 15:30 - 16:30 Informatics Forum, Room 4.31/4.33

Kevin Hammond, Professor of Computer Science, University of St Andrews

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.

Document Actions