DENOTATIONAL SEMANTICS OF QUERY LANGUAGES

被引:7
|
作者
SUBIETA, K
机构
关键词
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] PROGRAMMING DENOTATIONAL SEMANTICS
    ALLISON, L
    COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174
  • [33] Denotational semantics of subtyping
    Mei, Hong
    Huang, Baisu
    Zhang, Lu
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1999, 27 (08): : 46 - 51
  • [34] DENOTATIONAL SEMANTICS OF CSP
    SOUNDARARAJAN, N
    THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 279 - 304
  • [35] Denotational Semantics and Quantum Topology
    Hasegawa, Masahito
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172):
  • [36] DENOTATIONAL AND OPERATIONAL SEMANTICS FOR PROLOG
    DEBRAY, SK
    MISHRA, P
    JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 61 - 91
  • [37] LOGICAL ASPECTS OF DENOTATIONAL SEMANTICS
    ROBINSON, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 238 - 253
  • [38] On denotational semantics of smalltalk - 80
    Ruan Jian Xue Bao, 7 (385):
  • [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 deliberation dialogues
    McBurney, P
    Parsons, S
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175