LOGIC SPECIFICATION OF CODE GENERATION TECHNIQUES

被引：0
|
作者：
GIEGERICH, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 217卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：96 / 111
页数：16
相关论文
共 50 条
  • [1] Formal Specification and Code Generation of Programable Logic Controllers
    Wang, Rui
    Gu, Ming
    Song, Xiaoyu
    Wan, Hai
    [J]. 2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 102 - +
  • [2] C code generation from Petri net based logic controller specification
    Grobelny, Michal
    Grobelna, Iwona
    Karatkevich, Andrei
    [J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017, 2017, 10445
  • [3] A contribution of graph grammar techniques to the specification, verification and certification of code generation tools
    Stuermer, Ingo
    [J]. Electronic Notes in Theoretical Computer Science, 2002, 72 (02)
  • [4] TOWARDS AN ALGEBRAIC SPECIFICATION OF CODE GENERATION
    BERGHAMMER, R
    EHLER, H
    ZIERER, H
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1988, 11 (01) : 45 - 63
  • [5] Using LPNMR for problem specification and code generation
    Cadoli, M
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 372 - 372
  • [6] Parallel Code Generation from Synchronous Specification
    Hu K.
    Zhang T.
    Shang L.-H.
    Yang Z.-B.
    Talpin J.-P.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2017, 28 (07): : 1698 - 1712
  • [7] THE EQUATIONAL SPECIFICATION OF EFFICIENT COMPILER CODE GENERATION
    HATCHER, PJ
    [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 81 - 95
  • [8] PLC Code Generation Based on a Formal Specification Language
    Darvas, Daniel
    Vinuela, Enrique Blanco
    Majzik, Istvan
    [J]. 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 389 - 396
  • [9] iContractBot: A Chatbot for Smart Contracts' Specification and Code Generation
    Qasse, Ilham
    Mishra, Shailesh
    Hamdaqa, Mohammad
    [J]. 2021 IEEE/ACM THIRD INTERNATIONAL WORKSHOP ON BOTS IN SOFTWARE ENGINEERING (BOTSE 2021), 2021, : 35 - 38
  • [10] Automatic Control Code Generation from SAMA Specification
    Sarkar, Santonu
    Chandrika, K. R.
    [J]. 2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
12345