## A Formal Model of Real-Time Program Compilation (2000)

by
Karl Lermer
,
Colin Fidge

Venue: | THEORETICAL COMPUTER SCIENCE |

Citations: | 3 - 2 self |

### BibTeX

@ARTICLE{Lermer00aformal,

author = {Karl Lermer and Colin Fidge},

title = {A Formal Model of Real-Time Program Compilation},

journal = {THEORETICAL COMPUTER SCIENCE},

year = {2000},

volume = {282},

pages = {151--190}

}

### OpenURL

### Abstract

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code. Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints.