Kevin Hammond, Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems
TCS Oberseminar, 17.09.2010, 11 Uhr
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.
Artikelaktionen
abgelegt unter:
Oberseminar