Separate Compilation and Execution of Imperative Synchronous Modules

被引：0
|
作者：
Vecchie, Eric [1 ]
Talpin, Jean-Pierre [1 ]
Schneider, Luaus [2 ]
机构：
[1] INRIA Rennes Bretagne Atlantique, Campus Beaulieu, F-35042 Rennes, France
[2] Univ Kaiserslautern, D-67653 Kaiserslautern, Germany
来源：
DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3 | 2009年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The compilation or 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.
引用
收藏
页码：1580 / +
页数：2
相关论文
共 50 条
  • [1] Separate compilation for synchronous modules
    Zeng, J
    Edwards, SA
    [J]. EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 129 - 140
  • [2] Application of Interface Theories to the Separate Compilation of Synchronous Programs
    Benveniste, Albert
    Caillaud, Benoit
    Raclet, Jean-Baptiste
    [J]. 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 7252 - 7258
  • [3] SEPARATE COMPILATION IN CHIPSY
    EIDNES, H
    HALLSTEINSEN, SO
    WANVIK, DH
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL WORKSHOP ON SOFTWARE CONFIGURATION MANAGEMENT, 1989, 17 : 42 - 45
  • [4] Reducing dynamic compilation overhead by overlapping compilation and execution*
    Unnikrishnan, P.
    Kandemir, M.
    Li, F.
    [J]. ASP-DAC 2006: 11TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 2006, : 929 - 934
  • [5] Towards Compilation of an Imperative Language for FPGAs
    Pauget, Baptiste
    Pearce, David J.
    Potanin, Alex
    [J]. PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON VIRTUAL MACHINES AND INTERMEDIATE LANGUAGES (VMIL '18), 2018, : 47 - 56
  • [6] Multithreaded execution architecture and compilation
    Tullsen, DM
    Gao, G
    [J]. FIFTH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE, PROCEEDINGS, 1999, : 321 - 321
  • [7] Separate Compilation of Polychronous Specifications
    Ouy, Julien
    Talpin, Jean-Pierre
    Besnard, Loic
    Le Guernic, Paul
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 200 (01) : 51 - 70
  • [8] SEPARATE AND INTEGRAL COMPILATION OF SUBSYSTEMS
    BOHRINGER, B
    FEUERHAHN, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 123 : 50 - 64
  • [9] Lightweight Verification of Separate Compilation
    Kang, Jeehoon
    Kim, Yoonseung
    Hur, Chung-Kil
    Dreyer, Derek
    Vafeiadis, Viktor
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 178 - 190
  • [10] Executable assertions and separate compilation
    Gough, KJ
    Klaeren, H
    [J]. MODULAR PROGRAMMING LANGUAGES, 1997, 1204 : 41 - 52
12345