DENOTATIONAL SEMANTICS FOR OCCAM

被引：0

作者：

ROSCOE, AW

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：306 / 329

页数：24

共 50 条

[1] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[2] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[3] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[4] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[5] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[6] An Experiment with Denotational Semantics
Blikle A.
[J]. SN Computer Science, 2020, 1 (1)
[7] PROGRAMMING DENOTATIONAL SEMANTICS
ALLISON, L
[J]. COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174
[8] A Denotational Semantics for Circus
Oliveira, Marcel
Cavalcanti, Ana
Woodcock, Jim
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 187 : 107 - 123
[9] DENOTATIONAL SEMANTICS OF CSP
SOUNDARARAJAN, N
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 33 (2-3) : 279 - 304
[10] Denotational Semantics and Quantum Topology
Hasegawa, Masahito
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (172):