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 条
  • [31] Clock refinement in imperative synchronous languages
    Gemuende, Mike
    Brandt, Jens
    Schneider, Klaus
    [J]. EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2013, Springer International Publishing (01)
  • [32] Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs
    Kim, Taebum
    Jeong, Eunji
    Kim, Geon-Woo
    Koo, Yunmo
    Kim, Sehoon
    Yu, Gyeong-In
    Chun, Byung-Gon
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021,
  • [33] Advances in SQL Execution Techniques Based on Query Compilation
    Pan, Qingfeng
    Xu, Chen
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2024, 61 (07): : 1754 - 1770
  • [34] Extending a partial evaluator which supports separate compilation
    Heldal, R
    Hughes, J
    [J]. THEORETICAL COMPUTER SCIENCE, 2000, 248 (1-2) : 99 - 145
  • [35] Handwritten Computer Program Recognition, Compilation & Execution Application
    Wanigapura, Manodhya Kumari
    Premaratne, Saminda
    [J]. 2018 3RD INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2018,
  • [36] SymQEMU: Compilation-based symbolic execution for binaries
    Poeplau, Sebastian
    Francillon, Aurelien
    [J]. 28TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2021), 2021,
  • [37] .Cloud: Unified Platform for Compilation and Execution Processes in a Cloud
    De la Prieta, Fernando
    Juan Sanchez, Antonio
    Zato, Carolina
    Rodriguez, Sara
    Bajo, Javier
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, CAEPIA 2013, 2013, 8109 : 219 - 227
  • [38] CRONOS: A separate compilation toolset for modular ESTEREL applications
    Hainque, O
    Pautet, L
    Le Biannic, Y
    Nassor, R
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1836 - 1853
  • [39] Separate Compilation in a Language-Integrated Heterogeneous Environment
    Murphy, Mike
    Marathe, Jaydeep
    Bharambe, Girish
    Lee, Sean
    Grover, Vinod
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2013, 2014, 8664 : 121 - 135
  • [40] THE DESIGN OF AIR AND ITS APPLICATION TO ADA SEPARATE COMPILATION
    BRIGGS, JS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 180 : 60 - 75
12345