When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-1606
Go to the corresponding Portal

Lukoschus, Jan ; von Hanxleden, Reinhard

Removing Cycles in Esterel Programs

04491.LukoschusJan.Paper.160.pdf (0.4 MB)


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

  author =	{Jan Lukoschus and Reinhard von Hanxleden},
  title =	{Removing Cycles in Esterel Programs},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  year =	{2005},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  number =	{04491},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel}

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

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