FORMAL TECHNIQUES FOR PARALLEL OBJECT-ORIENTED LANGUAGES

被引：0
|
作者：
AMERICA, P
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 612卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper is intended to give an overview of the formal techniques that have been developed to deal with the parallel object-oriented language POOL and several related languages. We sketch a number of semantic descriptions, using several formalism: operational semantics, denotational semantics, and a new approach to semantics, which we call layered semantics. Then we summarize the progress that has been made in formal proof systems to verify the correctness of parallel object-oriented programs. Finally we survey the techniques that we are currently developing to describe the behaviour of objects independently of their implementation, leading to linguistic support for behavioural subtyping.
引用
收藏
页码：119 / 140
页数：22
相关论文
共 50 条
  • [41] Dynamic performance optimization mechanism for parallel object-oriented database programming languages
    Kimura, K
    Amano, H
    Makinouchi, A
    2000 INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM - PROCEEDINGS, 2000, : 405 - 409
  • [42] StreamPI: a stream-parallel programming extension for object-oriented programming languages
    Hong, Jingun
    Hong, Kirak
    Burgstaller, Bernd
    Blieberger, Johann
    JOURNAL OF SUPERCOMPUTING, 2012, 61 (01): : 118 - 140
  • [43] Parallel object-oriented programming for parallel simulations
    Baude, F
    Belloncle, F
    Caromel, D
    Furmento, N
    Roudier, Y
    Mussi, P
    Siegel, G
    INFORMATION SCIENCES, 1996, 93 (1-2) : 35 - 64
  • [44] Finite element analysis of solidification using object-oriented and parallel techniques
    Masters, I
    Usmani, AS
    Cross, JT
    Lewis, RW
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1997, 40 (15) : 2891 - 2909
  • [45] Performance evaluation of parallel query processing techniques in object-oriented database
    Wang, YJ
    Wang, YJ
    Hu, SR
    CHINESE JOURNAL OF ELECTRONICS, 2000, 9 (02): : 224 - 228
  • [46] TEACHING OBJECT-ORIENTED PROGRAMMING IS MORE THAN TEACHING OBJECT-ORIENTED PROGRAMMING-LANGUAGES
    KNUDSEN, JL
    MADSEN, OL
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 322 : 21 - 40
  • [47] Type systems of object-oriented programming languages
    Li, Xiaoyan
    Li, Bin
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (06): : 650 - 652
  • [48] Vortex: An optimizing compiler for object-oriented languages
    Dean, J
    DeFouw, G
    Grove, D
    Litvinov, V
    Chambers, C
    ACM SIGPLAN NOTICES, 1996, 31 (10) : 83 - 100
  • [49] A PRACTICAL COMPARISON OF 2 OBJECT-ORIENTED LANGUAGES
    WOLF, W
    IEEE SOFTWARE, 1989, 6 (05) : 61 - 68
  • [50] Current research on object-oriented programming languages
    Mei, Hong
    Wang, Lifu
    Yang, Fuqing
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1995, 23 (10): : 50 - 56
12345