DagSemProc.04491.4.pdf
- Filesize: 388 kB
- 27 pages
Document
Removing Cycles in Esterel Programs
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 4491
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-06-30
Cite AsGet BibTex
Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.04491.4
https://doi.org/10.4230/DagSemProc.04491.4
Abstract
Programs written in the synchronous programming language Esterel may
contain statically cyclic dependencies of signals, which inhibits the
application of certain compilation approaches that rely on static
scheduling. This talk proposes an algorithm which, given a
constructive synchronous program, performs a semantics-preserving
source-level code transformation that removes cyclic signal
dependencies. The transformation exploits the monotonicity of
constructive programs, and is illustrated in the context of Esterel,
but should be applicable to other synchronous languages as well.
Keywords
- Synchronous Languages
- compilation
- cyclic circuits
- constructiveness
- Esterel
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads