Domains and Denotational Semantics: History, Accomplishments and Open Problems

被引：0

|

作者：

Fiore, M.

Jung, A.

Moggi, E.

O'Hearn, P.

机构：

来源：

Bulletin of the European Association for Theoretical Computer Science | / 59期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

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

← 1 2 3 4 5 →