TY - GEN
T1 - Unifying operational semantics with algebraic semantics for instantaneous reactions
AU - Wu, Chengcheng
AU - Zhao, Yongxin
AU - Zhu, Huibiao
PY - 2013
Y1 - 2013
N2 - The signal calculus for event-based synchronous languages is developed for the specification and programming of embedded systems. This paper first explores a structural operational semantics for conceptually instantaneous reactions of the signal calculus, which exhibits how the effectiveness of such reactions is produced. Further, we investigate the unifying theory of operational semantics and algebraic semantics for instantaneous reactions. On one hand, all the algebraic laws characterizing the primitives and the combinators can be established in terms of the suggested structural operational semantics which claims the soundness of the algebraic semantics. On the other hand, reactions which are equivalent from the operational perspective can be reduced to the same normal form and this demonstrates the relative completeness of algebraic semantics with respect to the operational semantics.
AB - The signal calculus for event-based synchronous languages is developed for the specification and programming of embedded systems. This paper first explores a structural operational semantics for conceptually instantaneous reactions of the signal calculus, which exhibits how the effectiveness of such reactions is produced. Further, we investigate the unifying theory of operational semantics and algebraic semantics for instantaneous reactions. On one hand, all the algebraic laws characterizing the primitives and the combinators can be established in terms of the suggested structural operational semantics which claims the soundness of the algebraic semantics. On the other hand, reactions which are equivalent from the operational perspective can be reduced to the same normal form and this demonstrates the relative completeness of algebraic semantics with respect to the operational semantics.
UR - https://www.scopus.com/pages/publications/84893771512
U2 - 10.1007/978-3-642-35705-3_9
DO - 10.1007/978-3-642-35705-3_9
M3 - 会议稿件
AN - SCOPUS:84893771512
SN - 9783642357046
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 186
EP - 203
BT - Unifying Theories of Programming - 4th International Symposium, UTP 2012, Revised Selected Papers
T2 - 4th International Symposium on Unifying Theories of Programming, UTP 2012
Y2 - 27 August 2012 through 28 August 2012
ER -