http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM2Hammond 2026-04-06T02:49:47Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M2Hammond&diff=83&oldid=prev 2011-12-12T10:06:24Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> Title:<br /> <br /> Hume: a Domain-Specific Language for Real-Time Embedded Systems<br /> <br /> Kevin Hammond<br /> <br /> Abstract:<br /> 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.</div>

Admin