DENOTATIONAL SEMANTICS OF A PARALLEL OBJECT-ORIENTED LANGUAGE

被引：29
|
作者：
AMERICA, P [1 ]
DEBAKKER, J [1 ]
KOK, JN [1 ]
RUTTEN, J [1 ]
机构：
[1] CTR MATH & COMP SCI,1009 AB AMSTERDAM,NETHERLANDS
来源：
INFORMATION AND COMPUTATION | 1989年 / 83卷 / 02期
关键词：
D O I：
10.1016/0890-5401(89)90057-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：152 / 205
页数：54
相关论文
共 50 条
  • [1] An object-oriented denotational semantics of a small programming language
    Dong, JS
    Duke, R
    Rose, G
    OBJECT ORIENTED SYSTEMS, 1997, 4 (01): : 29 - 52
  • [2] A LAYERED SEMANTICS FOR A PARALLEL OBJECT-ORIENTED LANGUAGE
    AMERICA, P
    RUTTEN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 91 - 123
  • [3] A denotational semantics for joining description logics and object-oriented programming
    Schacht, S
    Hahn, U
    SIXTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1997, 40 : 119 - 130
  • [4] A survey of parallel object-oriented language
    Yu, M.
    Zang, W.
    Xie, L.
    Guo, M.
    2001, Chinese Academy of Sciences (12): : 822 - 829
  • [5] A weakest precondition semantics for an object-oriented language of refinement
    Cavalcanti, A
    Naumann, DA
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1439 - 1459
  • [6] WRAPPER SEMANTICS OF AN OBJECT-ORIENTED PROGRAMMING LANGUAGE WITH STATE
    HENSE, AV
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 548 - 568
  • [7] SEMANTIC CORRECTNESS FOR A PARALLEL OBJECT-ORIENTED LANGUAGE
    RUTTEN, JJMM
    SIAM JOURNAL ON COMPUTING, 1990, 19 (02) : 341 - 383
  • [8] OVERVIEW OF A PARALLEL OBJECT-ORIENTED LANGUAGE CLIX
    HUR, JH
    CHON, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 276 : 265 - 273
  • [9] A PARALLEL OBJECT-ORIENTED LANGUAGE WITH INHERITANCE AND SUBTYPING
    AMERICA, P
    VANDERLINDEN, F
    SIGPLAN NOTICES, 1990, 25 (10): : 161 - 168
  • [10] A Parallel Object-oriented Manufacturing Simulation Language
    Zhang, Y
    Cai, WT
    Turner, SJ
    15TH WORKSHOP ON PARALLEL AND DISTRIBUTED SIMULATION, PROCEEDINGS, 2001, : 101 - 108
12345