Heap-abstraction for an object-oriented calculus with thread classes

被引：0
|
作者：
Abraham, Erika [1 ]
Gruener, Andreas
Steffen, Martin
机构：
[1] Univ Freiburg, Freiburg, Germany
[2] Univ Kiel, Kiel, Germany
来源：
LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS | 2006年 / 3988卷
关键词：
class-based oo languages; thread-based concurrency; open systems; formal semantics; heap abstraction; observable behavior;
D O I：
10.1007/11780342_1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper formalizes an open semantics for a calculus featuring thread classes, where the environment, consisting in particular of an overapproximation of the heap topology, is abstractly represented. We extend our prior work not only by adding thread classes, but also in that thread names may be communicated, which means that the semantics needs to account explicitly for the possible acquaintance of objects with threads. We show soundness of the abstraction.
引用
收藏
页码：1 / 10
页数：10
相关论文
共 50 条
  • [41] Object Calculus and the Object-Oriented Analysis and Design of an Error-Sensitive GIS
    Matt Duckham
    GeoInformatica, 2001, 5 : 261 - 289
  • [42] Hierarchical object-oriented model (HOOM) for additive manufacturing digital thread
    Bonnard, Renan
    Hascoet, Jean-Yves
    Mognol, Pascal
    Zancul, Eduardo
    Alvares, Alberto J.
    JOURNAL OF MANUFACTURING SYSTEMS, 2019, 50 : 36 - 52
  • [43] OBJECT-ORIENTED PROGRAMMING WITHOUT AN OBJECT-ORIENTED LANGUAGE
    BOOCH, G
    SEIDEWITZ, E
    START, M
    FIRESMITH, D
    SIGPLAN NOTICES, 1986, 21 (11): : 508 - 508
  • [44] Using predicate abstraction to reduce object-oriented programs for model checking
    Visser, Willem, 2000, ACM, New York
  • [45] Object-Oriented Dynamics Learning through Multi-Level Abstraction
    Zhu, Guangxiang
    Wang, Jianhao
    Ren, Zhizhou
    Lin, Zichuan
    Zhang, Chongjie
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 6989 - 6998
  • [46] Response to 'Comments on: A cohesion measure ford object-oriented classes'
    Chae, HS
    Kwon, YR
    Bae, DH
    SOFTWARE-PRACTICE & EXPERIENCE, 2001, 31 (14): : 1389 - 1392
  • [47] FROM OBJECTS TO CLASSES - ALGORITHMS FOR OPTIMAL OBJECT-ORIENTED DESIGN
    LIEBERHERR, KJ
    BERGSTEIN, P
    SILVALEPE, I
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (04): : 205 - 228
  • [48] EVOLUTION OF CLASSES AND OBJECTS DURING OBJECT-ORIENTED DESIGN AND PROGRAMMING
    SCHARENBERG, ME
    DUNSMORE, HE
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1991, 3 (05): : 30 - &
  • [49] The prediction of faulty classes using object-oriented design metrics
    El Emam, K
    Melo, W
    Machado, JC
    JOURNAL OF SYSTEMS AND SOFTWARE, 2001, 56 (01) : 63 - 75
  • [50] Identifying Classes via Cognitive Approach in Object-Oriented System
    Yu, Zhibin
    Jin, Hai
    PACIIA: 2008 PACIFIC-ASIA WORKSHOP ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION, VOLS 1-3, PROCEEDINGS, 2008, : 1480 - 1484
12345