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 条
  • [41] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    BECKMAN, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 335 - 349
  • [42] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
    Din, Crystal Chang
    Haehnle, Reiner
    Johnsen, Einar Broch
    Pun, Ka I.
    Tarifa, Silvia Lizeth Tapia
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 22 - 43
  • [43] Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
    Din, Crystal Chang
    Haehnle, Reiner
    Henrio, Ludovic
    Johnsen, Einar Broch
    Pun, Violet Ka I.
    Tarifa, S. Lizeth Tapia
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2024, 46 (01):
  • [44] A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
    Saioc, Georgian-Vlad
    Huttel, Hans
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (369): : 51 - 66
  • [45] FUNCTOR-CATEGORY SEMANTICS OF PROGRAMMING-LANGUAGES AND LOGICS
    TENNENT, RD
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 206 - 224
  • [46] Higher-order logic programming languages with constraints: A semantics
    Lipton, James
    Nieva, Susana
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2007, 4583 : 272 - +
  • [47] A LINEAR-HISTORY SEMANTICS FOR LANGUAGES FOR DISTRIBUTED-PROGRAMMING
    FRANCEZ, N
    LEHMANN, D
    PNUELI, A
    THEORETICAL COMPUTER SCIENCE, 1984, 32 (1-2) : 25 - 46
  • [48] Semantics of quantum programming languages: Classical control, quantum control
    Valiron, Benoit
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
  • [49] Composing programming languages by combining action-semantics modules
    Doh, KG
    Mosses, PD
    SCIENCE OF COMPUTER PROGRAMMING, 2003, 47 (01) : 3 - 36
  • [50] PROFILING AND DEBUGGING IN MODERN PROGRAMMING-LANGUAGES
    SCHRIJVER, H
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 38 (02) : 289 - 293
12345