Separate compilation and execution of imperative synchronous modules

Abstract : The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We propose a new compilation method inspired by traditional sequential code generation techniques to produce coroutines whose hierarchical structure reflects the control flow of the original source code. A minimalistic runtime system executes separately compiled modules.
Type de document :
Communication dans un congrès
IEEE. DATE 2009 : Conference & Exhibition on Design, Automation & Test in Europe, Apr 2009, Nice, France. IEEE, pp.1580-1583, 2009, 〈10.1109/DATE.2009.5090916〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00788458
Contributeur : Ist Rennes <>
Soumis le : jeudi 14 février 2013 - 14:56:09
Dernière modification le : mercredi 16 mai 2018 - 11:23:03

Lien texte intégral

Identifiants

Citation

Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider. Separate compilation and execution of imperative synchronous modules. IEEE. DATE 2009 : Conference & Exhibition on Design, Automation & Test in Europe, Apr 2009, Nice, France. IEEE, pp.1580-1583, 2009, 〈10.1109/DATE.2009.5090916〉. 〈hal-00788458〉

Partager

Métriques

Consultations de la notice

176