TY - GEN
T1 - Time interval semantics and implementation of a real-time programming language
AU - He, Jifeng
AU - Bowen, Jonathan
PY - 1992
Y1 - 1992
N2 - The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval semantics and also a number of algebraic refinement laws. The laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the language is defined as a set of theorems relating high-level program constructs to a low-level machine specified as an interpreter in the high-level language. In addition, a prototype compiler may be produced very directly from Ihe lheorems in Ihe form of a logic program.
AB - The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval semantics and also a number of algebraic refinement laws. The laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the language is defined as a set of theorems relating high-level program constructs to a low-level machine specified as an interpreter in the high-level language. In addition, a prototype compiler may be produced very directly from Ihe lheorems in Ihe form of a logic program.
UR - https://www.scopus.com/pages/publications/84884612801
U2 - 10.1109/EMWRT.1992.637480
DO - 10.1109/EMWRT.1992.637480
M3 - 会议稿件
AN - SCOPUS:84884612801
SN - 0818628154
SN - 9780818628153
T3 - Proceedings - Euromicro Conference on Real-Time Systems
SP - 110
EP - 115
BT - Proceedings - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992
T2 - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992
Y2 - 3 June 1992 through 5 June 1992
ER -