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 条

[1] DENOTATIONAL SEMANTICS OF PARALLEL PROGRAMMING-LANGUAGES
BREZANY, P
[J]. KYBERNETIKA, 1983, 19 (03) : 248 - 262
[2] Denotational semantics of programming languages and compiler generation in PowerEpsilon
Zhu, MY
[J]. ACM SIGPLAN NOTICES, 2001, 36 (09) : 39 - 53
[3] PROGRAMMING DENOTATIONAL SEMANTICS
ALLISON, L
[J]. COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174
[4] DENOTATIONAL SEMANTICS OF QUERY LANGUAGES
SUBIETA, K
[J]. INFORMATION SYSTEMS, 1987, 12 (01) : 69 - 82
[5] An Introduction to metric semantics: operational and denotational models for programming and specification languages
van Breugel, F
[J]. THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 1 - 98
[6] Denotational semantics for programming languages, balanced quasi-metrics and fixed points
Rodriguez-Lopez, J.
Romaguera, S.
Valero, O.
[J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2008, 85 (3-4) : 623 - 630
[7] PROGRAMMING DENOTATIONAL SEMANTICS .2.
ALLISON, L
[J]. COMPUTER JOURNAL, 1985, 28 (05): : 480 - 486
[8] Equivalence of Denotational and Operational Semantics for Interaction Languages
Mahe, Erwan
Gaston, Christophe
Le Gall, Pascale
[J]. THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 113 - 130
[9] A framework for programming denotational semantics in C++
Papaspyrou, NS
[J]. ACM SIGPLAN NOTICES, 1996, 31 (08) : 16 - 25
[10] DENOTATIONAL VERSUS DECLARATIVE SEMANTICS FOR FUNCTIONAL PROGRAMMING
MORENO, JCG
GONZALEZ, MTH
ARTALEJO, MR
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 134 - 148

← 1 2 3 4 5 →