• DOI:10.1007/3-540-48778-6_12
Corpus ID: 37799002

A Formal Model of Real-Time Program Compilation

@inproceedings{Lermer1999AFM,
  title={A Formal Model of Real-Time Program Compilation},
  author={K. Lermer and C. Fidge},
  booktitle={ARTS},
  year={1999}
}

• K. Lermer, C. Fidge
• Published in ARTS 1999
• Computer Science

View via Publisher

Save to Library

Create Alert

Cite

Launch Research Feed

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.