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.