SEMANTICS OF PROGRAMMING LANGUAGES AND GLOBAL INTERPRETATION OF EXPRESSIONS

被引：0
|
作者：
RUGGIU, G
机构：
来源：
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A | 1972年 / 274卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：100 / &
相关论文
共 50 条
  • [41] TOWARDS A FORMAL SEMANTICS FOR CONCURRENT LOGIC PROGRAMMING-LANGUAGES
    BECKMAN, L
    [J]. 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
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2017, 2017, 10501 : 22 - 43
  • [43] A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
    Saioc, Georgian-Vlad
    Huttel, Hans
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (369): : 51 - 66
  • [44] 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
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2024, 46 (01):
  • [45] FUNCTOR-CATEGORY SEMANTICS OF PROGRAMMING-LANGUAGES AND LOGICS
    TENNENT, RD
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 206 - 224
  • [46] Higher-order logic programming languages with constraints: A semantics
    Lipton, James
    Nieva, Susana
    [J]. 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
    [J]. THEORETICAL COMPUTER SCIENCE, 1984, 32 (1-2) : 25 - 46
  • [48] Composing programming languages by combining action-semantics modules
    Doh, KG
    Mosses, PD
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2003, 47 (01) : 3 - 36
  • [49] Semantics of quantum programming languages: Classical control, quantum control
    Valiron, Benoit
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
  • [50] The interpretation of complex nominal expressions in Southeast Arnhem Land languages
    Baker, Brett
    [J]. DISCOURSE AND GRAMMAR IN AUSTRALIAN LANGUAGES, 2008, 104 : 135 - 166
12345