2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION

被引：0
|
作者：
唐稚松
郑茂松
李新
机构：
[1] Northeast University
[2] Beijing
[3] Xi’an
[4] Academia Silica
[5] Institute of Computing Technology
来源：
Science China Mathematics | 1985年 / 09期
关键词：
mode; LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper proposes a method to formalize semantics. It makes the formal semantics more harmonious with compilation. This method is established on the basis of a temporal logic language, which is, on the one hand, a logic system, so its semantics is simple and easy to formalize and convenient to implement; on the other hand, an intermediate programming language, so the semantics of other higher languages can be mapped into it by means of rigorous transformation. To organize a kind of 2-1evel formal semantics in this way the compilation is constituted.
引用
收藏
页码：991 / 1001
页数：11
相关论文
共 50 条
  • [1] 2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION
    唐稚松
    郑茂松
    李新
    [J]. ScienceinChina,Ser.A, 1985, Ser.A.1985 (09) - 1001
  • [2] 2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION
    TANG, ZS
    ZHENG, MS
    LI, X
    [J]. SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1985, 28 (09): : 991 - 1001
  • [3] 2-LEVEL FORMAL SEMANTICS AND SEMANTICS-DIRECTED COMPILATION.
    Zhisong, Tang
    Maosong, Zheng
    Xin, Li
    [J]. Scientia sinica. Series A. Mathematical, physical, astronomical and technical sciences, 1985, 28 (09): : 991 - 1001
  • [4] SEMANTICS-DIRECTED COMPILATION OF NONLINEAR PATTERNS
    DANVY, O
    [J]. INFORMATION PROCESSING LETTERS, 1991, 37 (06) : 315 - 322
  • [5] ACTION SEMANTICS-DIRECTED PROTOTYPING
    DOH, KG
    SCHMIDT, DA
    [J]. COMPUTER LANGUAGES, 1993, 19 (04): : 213 - 233
  • [6] Clipping: A Semantics-Directed Syntactic Approximation
    Ghica, Dan R.
    Bakewell, Adam
    [J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 189 - 198
  • [7] SEMANTICS-DIRECTED GENERATION OF A PROLOG COMPILER
    CONSEL, C
    KHOO, SC
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 135 - 146
  • [8] SEMANTICS-DIRECTED GENERATION OF A PROLOG COMPILER
    CONSEL, C
    KHOO, SC
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1993, 21 (03) : 263 - 291
  • [9] Semantics-directed Machine Architecture in ReWire
    Procter, Adam
    Harrison, William L.
    Graves, Ian
    Becchi, Michela
    Allwein, Gerard
    [J]. PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT), 2013, : 446 - 449
  • [10] CONTROL FLOW ASPECTS OF SEMANTICS-DIRECTED COMPILING
    SETHI, R
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (04): : 554 - 595
12345