Sciweavers

ARTS
1999
Springer

A Formal Model of Real-Time Program Compilation

14 years 3 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent models also incorporate timing properties, but the resulting formalisms are prohibitively complex. Here we take advantage of a new, simple model of real-time refinement to present a straightforward formalism for compilation that incorporates real-time constraints.
Karl Lermer, Colin J. Fidge
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where ARTS
Authors Karl Lermer, Colin J. Fidge
Comments (0)