DENOTATIONAL SEMANTICS OF QUERY LANGUAGES

被引：7
|
作者：
SUBIETA, K
机构：
来源：
INFORMATION SYSTEMS | 1987年 / 12卷 / 01期
关键词：
D O I：
10.1016/0306-4379(87)90019-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：69 / 82
页数：14
相关论文
共 50 条
  • [31] A Denotational Semantics for Circus
    Oliveira, Marcel
    Cavalcanti, Ana
    Woodcock, Jim
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 187 (107-123) : 107 - 123
  • [32] Denotational semantics of subtyping
    Mei, Hong
    Huang, Baisu
    Zhang, Lu
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1999, 27 (08): : 46 - 51
  • [33] PROGRAMMING DENOTATIONAL SEMANTICS
    ALLISON, L
    COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174
  • [34] DENOTATIONAL SEMANTICS OF CSP
    SOUNDARARAJAN, N
    THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 279 - 304
  • [35] On denotational semantics of smalltalk - 80
    Ruan Jian Xue Bao, 7 (385):
  • [36] Denotational Semantics and Quantum Topology
    Hasegawa, Masahito
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172):
  • [37] LOGICAL ASPECTS OF DENOTATIONAL SEMANTICS
    ROBINSON, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 238 - 253
  • [38] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG
    DEBRAY, SK
    MISHRA, P
    JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
  • [39] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (04) : 341 - 360
  • [40] A Denotational Semantics for SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 (336) : 223 - 239
12345