A MODULAR APPROACH TO DENOTATIONAL SEMANTICS

被引：0

作者：

MOGGI, E

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：138 / 139

页数：2

共 50 条

[1] A modular approach to denotational semantics
Power, J
Rosolini, G
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
[2] Modular Denotational Semantics for Effects with Guarded Interaction Trees
Frumin, Dan
Timany, Amin
Birkedal, Lars
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
[3] Categorical Approach to Denotational and Operational Semantics
Novitzka, Valerie
Perhac, Jan
Steingartner, William
[J]. IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2019, 15 (02):
[4] DENOTATIONAL SEMANTICS IN THE CPO AND METRIC APPROACH
BAIER, C
MAJSTERCEDERBAUM, ME
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 135 (02) : 171 - 220
[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] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[8] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[9] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
[10] Why denotational? Remarks on applied denotational semantics
Blikle, Andrzej
[J]. Fundamenta Informaticae, 1996, 28 (1-2): : 55 - 85