Separate compilation and execution of imperative synchronous modules

Authors:
Eric Vecchié;Jean-Pierre Talpin;Klaus Schneider
Affiliations:
INRIA Rennes - Bretagne Atlantique, Rennes Cedex, France;INRIA Rennes - Bretagne Atlantique, Rennes Cedex, France;University of Kaiserslautern, Kaiserslautern, Germany
Venue:
Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2009

Citing 5
Cited 1

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Design of a separable transition-diagram compiler

Communications of the ACM
Optimizations for Faster Execution of Esterel Programs

MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Modularity vs. reusability: code generation from synchronous block diagrams

Proceedings of the conference on Design, automation and test in Europe
Separate compilation for synchronous modules

ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems

Detection of harmful schizophrenic statements in esterel

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

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.