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 条
  • [1] EFFICIENT DATA-FLOW ANALYSIS OF LOGIC PROGRAMS
    DEBRAY, SK
    [J]. JOURNAL OF THE ACM, 1992, 39 (04) : 949 - 984
  • [2] MULTI-THREAD CODE GENERATION FOR DATA-FLOW ARCHITECTURES FROM NONSTRICT PROGRAMS
    TRAUB, KR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 73 - 101
  • [3] GENERATING COMPACT CODE FROM DATA-FLOW SPECIFICATIONS OF MULTIRATE SIGNAL-PROCESSING ALGORITHMS
    BHATTACHARYYA, SS
    BUCK, JT
    HA, SH
    LEE, EA
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1995, 42 (03): : 138 - 150
  • [4] Implementation techniques for efficient data-flow analysis of large programs
    Atkinson, DC
    Griswold, WG
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 52 - 61
  • [5] AN ALGORITHM FOR GENERATING DATA-FLOW DIAGRAMS
    YAMAMOTO, S
    OHTA, K
    [J]. SYSTEMS AND COMPUTERS IN JAPAN, 1994, 25 (06) : 12 - 22
  • [6] A PROCESS-ORIENTED MODEL FOR EFFICIENT EXECUTION OF DATA-FLOW PROGRAMS
    BIC, L
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1990, 8 (01) : 42 - 51
  • [7] GENERATING DATA-FLOW ANALYSIS ALGORITHMS FROM MODAL SPECIFICATIONS
    STEFFEN, B
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (02) : 115 - 139
  • [8] Data-Flow Testing of Declarative Programs
    Fischer, Sebastian
    Kuchen, Herbert
    [J]. ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 201 - 212
  • [9] Data-flow analysis for MPI programs
    Strout, Michelle Mills
    Kreaseck, Barbara
    Hovland, Paul D.
    [J]. 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
  • [10] Data-flow testing of declarative programs
    Fischer, Sebastian
    Kuchen, Herbert
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (09) : 201 - 212
12345