Real-Time Euclid

Real-Time Euclid

Real-time language, restriction to time-bounded constructs. ["Real-Time Euclid: A Language for Reliable Real-Time Systems", E. Kligerman et al, IEEE Trans Software Eng SE-12(9):941-1986-09-949].
References in periodicals archive ?
Real-Time Euclid is a real-time programming language that can detect timing errors.
No user-defined information can be passed to the exception handler using Real-Time Euclid or Goodenough's notation.
Several real-time programming languages, such as Real-Time Euclid [4] and RTC++ [2], describe policy-independent mechanisms for timing errors.
Full browser ?