DOMAINS FOR DENOTATIONAL SEMANTICS

被引：0

|

作者：

SCOTT, DS

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 140卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：577 / 612

页数：36

相关论文

共 50 条

[1] Denotational Semantics with Nominal Scott Domains
Loesch, Steffen
Pitts, Andrew M.
[J]. JOURNAL OF THE ACM, 2014, 61 (04)
[2] Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
Waagbo, G
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (01) : 19 - 60
[3] Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
Geir Waagbø
[J]. Archive for Mathematical Logic, 1999, 38 : 19 - 60
[4] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[5] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[6] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[7] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[8] An Experiment with Denotational Semantics
Blikle A.
[J]. SN Computer Science, 2020, 1 (1)
[9] DENOTATIONAL SEMANTICS FOR OCCAM
ROSCOE, AW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 306 - 329
[10] PROGRAMMING DENOTATIONAL SEMANTICS
ALLISON, L
[J]. COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174

← 1 2 3 4 5 →