Towards a Signal Calculus for Event-Based Synchronous Languages
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.
KeywordsInput Signal Operational Semantic Algebraic Semantic Instantaneous Reaction Pure Signal
Unable to display preview. Download preview PDF.
- 8.He, J., Hoare, C.A.R.: From Algebra to operational semantics. Information Processing Letter 46 (1993)Google Scholar
- 12.Berry, G.: The Constructive Semantics of Pure Esterel (1999) Draft version, ftp://ftp-sop.inria.fr/meije/esterel/papers/constructiveness3.ps.gz
- 13.Tini, S: Structural Operational Semantics for Synchronous Languages. PhD thesis, Dipartimento di Informatica, Universitá degli Studi di Pisa, Pisa, Italy (2000)Google Scholar
- 14.McIver, A.K., Morgan, C.C.: Probabilistic power domains (in preparation)Google Scholar
- 15.Potop-Butucaru, D., Edwards, S.A., Berry, G.: Compiling Esterel. Springer, Heidelberg (2007)Google Scholar