Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion


We present a programming language called TCEL (Time-Constrained Event Language), whose semantics is based on time-constrained relationships between observable events. Such a semantics infers only those timing constraints necessary to achieve real-time correctness, without over-constraining the system. Moreover, an optimizing compiler can exploit this looser… (More)
DOI: 10.1109/32.387469


  • Presentations referencing similar topics