TY - GEN
T1 - Towards a signal calculus for event-based synchronous languages
AU - Zhao, Yongxin
AU - Jifeng, He
PY - 2011
Y1 - 2011
N2 - A theory of programming is intended to support the practice of programming by relating each program to the specification of what it is intended to achieve. Our intention is to develop a signal calculus for event-based synchronous languages used for specification and programming of embedded systems. In this paper, we mainly tackle conceptually instantaneous reactions, i.e., zero-time reactions. The delay-time reactions will be investigated in the follow-up work. To explore the semantic definition of instantaneous reactions (I-calculus), a set of algebraic laws is provided, which can be used to reduce all instantaneous reactions to a normal form algebraically. The normal form, surprisingly, exposes the internal implicit dependence explicitly. Consequently, that two differently written reactions happen to mean the same thing can be proved from the equations of an algebraic presentation.
AB - A theory of programming is intended to support the practice of programming by relating each program to the specification of what it is intended to achieve. Our intention is to develop a signal calculus for event-based synchronous languages used for specification and programming of embedded systems. In this paper, we mainly tackle conceptually instantaneous reactions, i.e., zero-time reactions. The delay-time reactions will be investigated in the follow-up work. To explore the semantic definition of instantaneous reactions (I-calculus), a set of algebraic laws is provided, which can be used to reduce all instantaneous reactions to a normal form algebraically. The normal form, surprisingly, exposes the internal implicit dependence explicitly. Consequently, that two differently written reactions happen to mean the same thing can be proved from the equations of an algebraic presentation.
UR - https://www.scopus.com/pages/publications/80455173791
U2 - 10.1007/978-3-642-24559-6_1
DO - 10.1007/978-3-642-24559-6_1
M3 - 会议稿件
AN - SCOPUS:80455173791
SN - 9783642245589
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 13
BT - Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Proceedings
T2 - 13th International Conference on Formal Engineering Methods, ICFEM 2011
Y2 - 26 October 2011 through 28 October 2011
ER -