Semantic specification language for compiler construction

被引：0
|
作者：
Chi Wu, Pei-Chi [1 ]
Jian Wang, Feng-Jian [1 ]
Tzay Yang, JiTzay [1 ]
机构：
[1] Natl Chiao Tung Univ, Hsinchu, Taiwan
来源：
Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering | 1996年 / 20卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：23 / 41
相关论文
共 50 条
  • [1] SPECIFICATION AND PROTOTYPING OF A COMPILER FOR A SMALL APPLICATIVE LANGUAGE
    HUSSMANN, H
    RANK, C
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 403 - 418
  • [2] SPECIFICATION AND PROTOTYPING OF A COMPILER FOR A SMALL APPLICATIVE LANGUAGE
    HUSSMANN, H
    RANK, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 403 - 418
  • [3] Specification Language for Packet Parsers and Its Compiler Architecture
    Li H.-H.
    Li L.
    Zhao Y.
    Wang S.-Y.
    Li X.-Y.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (08): : 2285 - 2308
  • [4] Teaching Compiler Construction and Language Design
    Ruckert, Martin
    SIGCSE 2007: PROCEEDINGS OF THE THIRTY-EIGHTH SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2007, : 435 - 439
  • [5] π: Towards a Simple Formal Semantic Framework for Compiler Construction
    Braga, Christiano
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1562 - 1569
  • [6] Semantic Extensions to the Vienna Neural Network Specification Language
    Schikuta, Erich
    Huqqani, Altaf
    Kopica, Thomas
    2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2015,
  • [7] The Extension of Semantic Formalization of Service Workflow Specification Language
    Viriyasitavat, Wattana
    Xu, Li Da
    Bi, Zhuming
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (02) : 741 - 754
  • [8] Coalgebraic Semantic Model for the Clock Constraint Specification Language
    Mallet, Frederic
    Zholtkevych, Grygoriy
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 174 - 188
  • [9] A SPECIFICATION LANGUAGE FOR ONE-PASS SEMANTIC ANALYSIS
    KOSKIMIES, K
    SIGPLAN NOTICES, 1984, 19 (06): : 179 - 189
  • [10] Construction for the trustworthy compiler of a synchronous data-flow language
    Shi, Gang
    Wang, Sheng-Yuan
    Dong, Yuan
    Ji, Zhi-Yuan
    Gan, Yuan-Ke
    Zhang, Ling-Bo
    Zhang, Yu-Cheng
    Wang, Lei
    Yang, Fei
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (02): : 341 - 356
12345