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 条
  • [41] A Denotational Semantics for SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 (336) : 223 - 239
  • [42] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [43] DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS
    CHAO, SJ
    BRYANT, BR
    SIGPLAN NOTICES, 1988, 23 (01): : 83 - 91
  • [44] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 139 - +
  • [45] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    Acta Informatica, 1998, 35 : 729 - 773
  • [46] A modular approach to denotational semantics
    Power, J
    Rosolini, G
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
  • [47] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [48] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [49] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [50] A MODULAR APPROACH TO DENOTATIONAL SEMANTICS
    MOGGI, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 138 - 139
12345