Removing Cycles in Esterel Programs

Lukoschus, Jan; von Hanxleden, Reinhard

doi:10.4230/DagSemProc.04491.4

Document

Removing Cycles in Esterel Programs

Authors Jan Lukoschus, Reinhard von Hanxleden

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 4491
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2005-06-30

PDF

File

PDF

DagSemProc.04491.4.pdf

Filesize: 388 kB
27 pages

Document Identifiers

DOI: 10.4230/DagSemProc.04491.4
URN: urn:nbn:de:0030-drops-1606

Subject Classification

Keywords

Synchronous Languages
compilation
cyclic circuits
constructiveness
Esterel

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

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

Author Details

Jan Lukoschus

Reinhard von Hanxleden

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail