On denotational semantics of smalltalk - 80

被引：0

作者：

机构：

来源：

Ruan Jian Xue Bao | / 7卷 / 385期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] SEMANTICS OF SMALLTALK-80
WOLCZKO, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 276 : 108 - 120
[2] On formal semantics of smalltalk-80
Li, Zhoujun
Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 1993, 15 (03):
[3] A COMPLETE SEMANTICS FOR SMALLTALK-80
GOLUBSKI, W
LIPPE, WM
COMPUTER LANGUAGES, 1995, 21 (02): : 67 - 79
[4] PETRI NET SEMANTICS OF SMALLTALK-80
CHRISTODOULAKIS, DN
MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 267 - 272
[5] MODELING THE SEMANTICS OF SMALLTALK-80 WITH PETRI NETS
CHRISTODOULAKIS, DN
SIGPLAN NOTICES, 1989, 24 (04): : 156 - 158
[6] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[7] CPP denotational semantics
Favre, JM
THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[8] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[9] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[10] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665