DocumentCode
2178100
Title
Separate compilation and execution of imperative synchronous modules
Author
Vecchié, Eric ; Talpin, Jean-Pierre ; Schneider, Klaus
Author_Institution
INRIA Rennes, Bretagne Atlantique, Rennes
fYear
2009
fDate
20-24 April 2009
Firstpage
1580
Lastpage
1583
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.
Keywords
data flow analysis; program compilers; Esterel language; imperative synchronous language; imperative synchronous modules; minimalistic runtime system; module compilation; module execution; sequential code generation; source code control flow; Automata; Computational modeling; Computer languages; Domain specific languages; Embedded system; Flow graphs; Intellectual property; Real time systems; Virtual prototyping; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location
Nice
ISSN
1530-1591
Print_ISBN
978-1-4244-3781-8
Type
conf
DOI
10.1109/DATE.2009.5090916
Filename
5090916
Link To Document