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 条
  • [31] The Semantics of wlp and slp of Fuzzy Imperative Programming Languages
    Wu, Hengyang
    Chen, Yixiang
    NONLINEAR MATHEMATICS FOR UNCERTAINTY AND ITS APPLICATIONS, 2011, 100 : 357 - +
  • [32] Formal semantics and interpreters in a principles of programming languages course
    Bruce, KB
    PROCEEDINGS OF THE THIRTIETH SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 1999, : 331 - 335
  • [33] LOCAL CONSTRAINTS IN THE SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES.
    Joshi, Aravind K.
    Levy, Leon S.
    Yueh, Kang
    1978, : 255 - 264
  • [34] Partial Order Reduction for Rewriting Semantics of Programming Languages
    Farzan, Azadeh
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 61 - 78
  • [35] Semantics of programming languages: A tool-oriented approach
    Heering, J
    Klint, P
    ACM SIGPLAN NOTICES, 2000, 35 (03) : 39 - 48
  • [36] Semantics of programming languages: Using ASF plus SDF
    Mosses, Peter D.
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 2 - 10
  • [37] An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages
    Huang, Daniel
    Morrisett, Greg
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 337 - 363
  • [38] A Visualizing Tool for Graduate Course: Semantics of Programming Languages
    Steingartner, William
    Perhac, Jan
    Bilinski, Alexander
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2019, 15 (02):
  • [39] Programming languages and systems security
    Skalka, C
    IEEE SECURITY & PRIVACY, 2005, 3 (03) : 80 - 83
  • [40] Programming Languages and Operating Systems
    Spinczyk, O
    Schoettner, M
    Gal, A
    OBJECT-ORIENTED TECHNOLOGY, 2004, 3344 : 202 - 213
12345