NORMAL REPRESENTATION OF SEMANTICS OF LANGUAGES OF MODERN PROGRAMMING SYSTEMS

被引：0
|
作者：
VELBITSKII, IV [1 ]
机构：
[1] ACAD SCI UKSSR,CYBERNETICS INST,KIEV,UKSSR
来源：
DOKLADY AKADEMII NAUK SSSR | 1975年 / 223卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：1329 / 1332
页数：4
相关论文
共 50 条
  • [21] Games In The Semantics Of Programming Languages – An Elementary Introduction
    Jan Jürjens
    Synthese, 2002, 133 : 131 - 158
  • [22] REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES
    GHOSE, A
    KYBERNETES, 1978, 7 (04) : 301 - 304
  • [23] Software Support for Course in Semantics of Programming Languages
    Steingartner, William
    Eldojali, Mohamed Ali M.
    Radakovic, Davorka
    Dostal, Jiri
    2017 IEEE 14TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS, 2017, : 359 - 364
  • [24] DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING-LANGUAGES
    BREZANY, P
    KYBERNETIKA, 1983, 19 (03) : 248 - 262
  • [25] VDM semantics of programming languages: Combinators and monads
    Mosses, Peter D.
    FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 483 - +
  • [26] Games in the semantics of programming languages -: An elementary introduction
    Jürjens, J
    SYNTHESE, 2002, 133 (1-2) : 131 - 158
  • [27] Concurrency in Modern Programming Languages
    Di Pierro, Massimo
    Skinner, David
    COMPUTING IN SCIENCE & ENGINEERING, 2012, 14 (06) : 8 - 10
  • [28] An Intermediate Representation for Network Programming Languages
    Li, Hao
    Zhang, Peng
    Sun, Guangda
    Hu, Chengchen
    Shan, Danfeng
    Pan, Tian
    Fu, Qiang
    PROCEEDINGS OF 2020 4TH ASIA-PACIFIC WORKSHOP ON NETWORKING, APNET 2020, 2020, : 1 - 7
  • [29] LOGIC PROGRAMMING AS A MEANS OF REPRESENTING SEMANTICS IN DESIGN LANGUAGES
    GERO, JS
    COYNE, RD
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1985, 12 (03): : 351 - 369
  • [30] Denotational semantics of programming languages and compiler generation in PowerEpsilon
    Zhu, MY
    ACM SIGPLAN NOTICES, 2001, 36 (09) : 39 - 53
12345