On denotational semantics of smalltalk - 80

被引：0
作者：
机构：
来源：
Ruan Jian Xue Bao | / 7卷 / 385期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
[21]   Denotational Semantics and Quantum Topology [J].
Hasegawa, Masahito .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172)
[22]   A denotational semantics for deliberation dialogues [J].
McBurney, P ;
Parsons, S .
ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 :162-175
[23]   A Denotational Semantics for SPARC TSO [J].
Kavanagh, Ryan ;
Brookes, Stephen .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 :223-239
[24]   PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY [J].
DEBAKKER, JW ;
ZUCKER, JI .
INFORMATION AND CONTROL, 1982, 54 (1-2) :70-120
[25]   DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS [J].
CHAO, SJ ;
BRYANT, BR .
SIGPLAN NOTICES, 1988, 23 (01) :83-91
[26]   From algebraic semantics to denotational semantics for Verilog [J].
Zhu, Huibiao ;
He, Jifeng ;
Bowen, Jonathan P. .
ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, :139-+
[27]   Denotational semantics of object specification [J].
Amílcar Sernadas ;
Cristina Sernadas ;
Carlos Caleiro .
Acta Informatica, 1998, 35 :729-773
[28]   From algebraic semantics to denotational semantics for Verilog [J].
Zhu, Huibiao ;
He, Jifeng ;
Bowen, Jonathan P. .
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (04) :341-360
[29]   A modular approach to denotational semantics [J].
Power, J ;
Rosolini, G .
AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 :351-362
[30]   ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS [J].
DEBAKKER, JW ;
MEYER, JJC ;
ZUCKER, JI .
THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) :53-82
12345