License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-1606
URL: http://drops.dagstuhl.de/opus/volltexte/2005/160/
Go to the corresponding Portal


Lukoschus, Jan ; von Hanxleden, Reinhard

Removing Cycles in Esterel Programs

pdf-format:
Document 1.pdf (389 KB)


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:DSP:2005:160,
  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 =		{http://drops.dagstuhl.de/opus/volltexte/2005/160},
  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 Published by LZI