Skip to Main content Skip to Navigation
Journal articles

Implementation of the data-flow synchronous language SIGNAL

Tochéou Amagbegnon 1 Loïc Besnard 1 Paul Le Guernic 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the compiler lies in the use of a tree structure to solve the equations.
Document type :
Journal articles
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00544128
Contributor : Thierry Gautier <>
Submitted on : Tuesday, December 7, 2010 - 12:25:39 PM
Last modification on : Thursday, February 11, 2021 - 2:48:04 PM
Long-term archiving on: : Tuesday, March 8, 2011 - 4:13:19 AM

File

PLDI-95_compil.pdf
Files produced by the author(s)

Identifiers

Citation

Tochéou Amagbegnon, Loïc Besnard, Paul Le Guernic. Implementation of the data-flow synchronous language SIGNAL. ACM SIGPLAN Notices, Association for Computing Machinery (ACM), 1995, 30 (6), pp.163-173. ⟨10.1145/223428.207134⟩. ⟨hal-00544128⟩

Share

Metrics

Record views

433

Files downloads

455