HIGH-LEVEL SEMANTICS - AN INTEGRATED APPROACH TO PROGRAMMING LANGUAGE SEMANTICS AND THE SPECIFICATION OF IMPLEMENTATIONS

被引：0
|
作者：
PLEBAN, UF [1 ]
LEE, P [1 ]
机构：
[1] CARNEGIE MELLON UNIV,DEPT COMP SCI,PITTSBURGH,PA 15213
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 298卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：550 / 571
页数：22
相关论文
共 50 条
  • [21] AN AXIOMATIC APPROACH TO SEMANTICS OF SPECIFICATION LANGUAGES
    MAHR, B
    MAKOWSKY, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 145 : 211 - 219
  • [22] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    [J]. 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
  • [23] Algebraic Semantics of an Imperative Programming Language
    A. V. Zamulin
    [J]. Programming and Computer Software, 2003, 29 : 328 - 337
  • [24] CBIR: From low-level features to high-level semantics
    Zhou, XS
    Huang, TS
    [J]. IMAGE AND VIDEO COMMUNICATIONS AND PROCESSING 2000, 2000, 3974 : 426 - 431
  • [25] Game Semantics for a Polymorphic Programming Language
    Laird, J.
    [J]. JOURNAL OF THE ACM, 2013, 60 (04)
  • [26] Programming Language Semantics with Isabelle/HOL
    Martini, Alfio
    [J]. 2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 14 - 21
  • [27] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    [J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [28] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    [J]. 10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [29] Semantics of quantum programming language LanQ
    Mlnarik, Hynek
    [J]. INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2008, 6 : 733 - 738
  • [30] Semantics of persistence in the glib programming language
    Libicki, Daniel Gakh
    [J]. Proc Conf Object Orient Program Syst Lang Appl OOPSLA, (645-646):
12345