PARALLEL OBJECT-ORIENTED DESCRIPTIONS OF GRAPH REDUCTION MACHINES (EXTENDED ABSTRACT)

被引：0

作者：

BOLTON, D ^{[1
]}

HANKIN, C ^{[1
]}

KELLY, P ^{[1
]}

机构：

[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL, DEPT COMP SCI, LONDON SW7 2BZ, ENGLAND

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 365卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：158 / 175

页数：18

共 50 条

[41] Abstract Interface Behavior of Object-Oriented Languages with Monitors
Abraham, Erika
Gruener, Andreas
Steffen, Martin
THEORY OF COMPUTING SYSTEMS, 2008, 43 (3-4) : 322 - 361
[42] Abstract interface behavior of object-oriented languages with monitors
Abraham, Erika
Gruener, Andreas
Steffen, Martin
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, 2006, 4037 : 218 - 232
[43] Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Logozzo, Francesco
Cortesi, Agostino
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 75 - 84
[44] OBJECT-ORIENTED PROGRAMMING AND ABSTRACT-DATA-TYPES
AGAFONOV, VN
PROGRAMMING AND COMPUTER SOFTWARE, 1990, 16 (06) : 242 - 246
[45] Structural Resolution for Abstract Compilation of Object-Oriented Languages
Franceschini, Luca
Ancona, Davide
Komendantskaya, Ekaterina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (258): : 19 - 35
[46] Abstract Compilation for Type Analysis of Object-Oriented Languages
Ancona, Davide
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (258): : 70 - +
[47] DEPENDENCIES FOR AN EXTENDED OBJECT-ORIENTED DATABASE MODEL
POUYIOUTAS, P
LOIZOU, G
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 55 (1-2) : 1 - 17
[48] SEMANTIC CORRECTNESS FOR A PARALLEL OBJECT-ORIENTED LANGUAGE
RUTTEN, JJMM
SIAM JOURNAL ON COMPUTING, 1990, 19 (02) : 341 - 383
[49] Object-oriented parallel CFD with JAVA']JAVA
Eyheramendy, D
PARALLEL COMPUTATIONAL FLUID DYNAMICS: ADVANCED NUMERICAL METHODS SOFTWARE AND APPLICATIONS, 2004, : 409 - 416
[50] A LAYERED SEMANTICS FOR A PARALLEL OBJECT-ORIENTED LANGUAGE
AMERICA, P
RUTTEN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 91 - 123

← 1 2 3 4 5 →