DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES

被引：96

|

作者：

TENNENT, RD ^{[1
]}

机构：

[1] QUEENS UNIV,DEPT COMP & INFORMATION SCI,KINGSTON,ONTARIO,CANADA

来源：

COMMUNICATIONS OF THE ACM | 1976年 / 19卷 / 08期

关键词：

D O I：

10.1145/360303.360308

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：437 / 453

页数：17

相关论文

共 50 条

[31] SEMANOL (73) - METALANGUAGE FOR PROGRAMMING SEMANTICS OF PROGRAMMING LANGUAGES
ANDERSON, ER
BELZ, FC
BLUM, EK
[J]. ACTA INFORMATICA, 1976, 6 (02) : 109 - 131
[32] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[33] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[34] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[35] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[36] FROM DENOTATIONAL TO OPERATIONAL AND AXIOMATIC SEMANTICS FOR ALGOL-LIKE LANGUAGES - AN OVERVIEW
TRAKHTENBROT, BA
HALPERN, JY
MEYER, AR
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 474 - 500
[37] Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds
Antonio Piccolomini d’Aragona
[J]. Studia Logica, 2022, 110 : 355 - 403
[38] Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds
d'Aragona, Antonio Piccolomini
[J]. STUDIA LOGICA, 2022, 110 (02) : 355 - 403
[39] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[40] An Experiment with Denotational Semantics
Blikle A.
[J]. SN Computer Science, 2020, 1 (1)

← 1 2 3 4 5 →