Type-Specialized Staged Programming With Process Separation

Staging is a powerful language construct that allows a program at one stage to manipulate and specialize a program at the next. The authors propose hMLi as a new staged calculus designed with novel features for staged programming in modern computing platforms such as embedded systems. A distinguishing feature of hMLi is a model of process separation, whereby different stages of computation are executed in different process spaces. The language also supports dynamic type specialization, via type abstraction, dynamic type construction, and a limited form of type dependence.