License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04491.4
URN: urn:nbn:de:0030-drops-1606
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/160/
Go to the corresponding Portal

Lukoschus, Jan ; von Hanxleden, Reinhard

Removing Cycles in Esterel Programs

pdf-format:
04491.LukoschusJan.Paper.160.pdf (0.4 MB)

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.

BibTeX - Entry

@InProceedings{lukoschus_et_al:DagSemProc.04491.4,
  author =	{Lukoschus, Jan and von Hanxleden, Reinhard},
  title =	{{Removing Cycles in Esterel Programs}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--27},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2005/160},
  URN =		{urn:nbn:de:0030-drops-1606},
  doi =		{10.4230/DagSemProc.04491.4},
  annote =	{Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel}
}

Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel
Collection: 04491 - Synchronous Programming - SYNCHRON'04
Issue Date: 2005
Date of publication: 30.06.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI