2026-07-22T10:45:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:160 2024-03-06T11:06:04Z ddc:004 open_access

Removing Cycles in Esterel Programs Lukoschus, Jan von Hanxleden, Reinhard Synchronous Languages compilation cyclic circuits constructiveness Esterel 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jan Lukoschus and Reinhard von Hanxleden 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04491.4 urn:nbn:de:0030-drops-1606 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.4 eng https://creativecommons.org/licenses/by/4.0/legalcode