Hardware

Type-Specialized Staged Programming With Process Separation

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 201.1 KB