ON ALGEBRAS OF COMPUTATION SEQUENCES AND PROOFS OF EQUIVALENCE OF OPERATIONAL AND DENOTATIONAL SEMANTICS

被引：0
|
作者：
POIGNE, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 145卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：289 / 299
页数：11
相关论文
共 31 条
  • [1] Equivalence of Denotational and Operational Semantics for Interaction Languages
    Mahe, Erwan
    Gaston, Christophe
    Le Gall, Pascale
    [J]. THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 113 - 130
  • [2] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG
    DEBRAY, SK
    MISHRA, P
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
  • [3] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [4] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [5] Action Algebras and Model Algebras in Denotational Semantics
    Castro Guedes, Luiz Carlos
    Haeusler, Edward Hermann
    [J]. SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 227 - +
  • [6] Trust structures - Denotational and operational semantics
    Krukow, Karl
    Nielsen, Mogens
    [J]. INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2007, 6 (2-3) : 153 - 181
  • [7] Operational and denotational semantics for the box algebra
    Koutny, M
    Best, E
    [J]. THEORETICAL COMPUTER SCIENCE, 1999, 211 (1-2) : 1 - 83
  • [8] Categorical Approach to Denotational and Operational Semantics
    Novitzka, Valerie
    Perhac, Jan
    Steingartner, William
    [J]. IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2019, 15 (02):
  • [9] Unifying denotational semantics with operational semantics for web services
    Zhu, Huibiao
    He, Jifeng
    Li, Jing
    [J]. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2007, 4882 : 225 - 239
  • [10] Deriving operational semantics from denotational semantics for Verilog
    Zhu, HB
    Bowen, JP
    He, JF
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 177 - 184
1234