GENERATING EFFICIENT CODE FROM DATA-FLOW PROGRAMS

被引：0
|
作者：
HALBWACHS, N [1 ]
RAYMOND, P [1 ]
RATEL, C [1 ]
机构：
[1] MERLIN GERIN, SES, F-38050 GRENOBLE, FRANCE
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 528卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents the techniques applied in compiling the synchronous data-flow language LUSTRE. The most original technique consists in synthesising an efficient control structure, by simulating the behavior of boolean variables at compile-time. Here, the techniques are explained on a small subset of LUSTRE.
引用
收藏
页码：207 / 218
页数：12
相关论文
共 50 条
  • [21] Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog
    Amjad, Hafiz Muhammad
    Hu, Kai
    Niu, Jianwei
    Khan, Noor
    Besnard, Loic
    Talpin, Jean-Pierre
    [J]. 2019 15TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG 2019), 2019, : 153 - 160
  • [22] From control system design to embedded code: The synchronous data-flow approach
    Caspi, P
    Raymond, P
    [J]. PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 3278 - 3283
  • [23] Parallel data-flow analysis of explicitly parallel programs
    Knoop, J
    [J]. EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 391 - 400
  • [24] CODE GENERATION FOR MULTI-THREADED ARCHITECTURES FROM DATA-FLOW GRAPHS
    MURER, S
    FARBER, P
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 77 - 90
  • [25] AN EFFICIENT HYBRID DATA-FLOW ARCHITECTURE MODEL
    GAO, GR
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1993, 19 (04) : 293 - 307
  • [26] A DENOTATIONAL SEMANTICS AND DATA-FLOW CONSTRUCTION FOR LOGIC PROGRAMS
    YAMASAKI, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 124 (01) : 71 - 91
  • [27] INFORMATION-FLOW AND DATA-FLOW ANALYSIS OF WHILE-PROGRAMS
    BERGERETTI, JF
    CARRE, BA
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 37 - 61
  • [28] Data-flow bending: On the effectiveness of data-flow integrity
    Lu, Tingting
    Wang, Junfeng
    [J]. COMPUTERS & SECURITY, 2019, 84 : 365 - 375
  • [29] HIERARCHICAL DATA-FLOW ANALYSIS FOR O-O PROGRAMS
    SUBRAMANIAN, S
    TSAI, WT
    KIRANI, SH
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1994, 7 (02): : 36 - 46
  • [30] Formal Verification of Programs in the Functional Data-flow Parallel Language
    Kropacheva, M. S.
    Legalov, A. I.
    [J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2013, 47 (07) : 373 - 384
12345