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 As Get 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
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.
Subject Classification
Keywords
- Synchronous Languages
- compilation
- cyclic circuits
- constructiveness
- Esterel
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads