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.

• Type: Conference
• Year: 1999
• Where: ARTS
• Authors: Karl Lermer, Colin J. Fidge
• Keywords: ARTS 1999, Assembler Code, Distributed And Parallel Computing, Equivalence-preserving Transformations, Program Compilation