On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M2Hammond: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
(No difference)
|
Latest revision as of 12:06, 12 December 2011
Title:
Hume: a Domain-Specific Language for Real-Time Embedded Systems
Kevin Hammond
Abstract: Hume is a domain-specific language for resource-constrained systems, such as real-time embedded systems. It combines an asynchronous process layer with a purely functional expression layer, structured by levels of costability. This talk introduces the Hume language, focusing on the FSM-Hume level for which we have constructed a cost model and type-based inference system deriving stack and heap costs. We have used the analysis in a number of prototype programs with good results.
