Difference between revisions of "WG211/M2Hammond"
From WG 2.11
(Created page with "Category:WG211 Title: Hume: a Domain-Specific Language for Real-Time Embedded Systems Kevin Hammond Abstract: Hume is a domain-specific language for resource-constrained...") |
m (1 revision) |
(No difference)
| |
Latest revision as of 11: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.
