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 条
  • [1] Heap-abstraction for an object-oriented calculus with thread classes
    Abraham, Erika
    Gruener, Andreas
    Steffen, Martin
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 177 - 208
  • [2] Heap-abstraction for an object-oriented calculus with thread classes
    Erika Ábrahám
    Andreas Grüner
    Martin Steffen
    Software & Systems Modeling, 2008, 7 : 177 - 208
  • [3] Classes in Object-Oriented Modeling (UML): Further Understanding and Abstraction
    Al-Fedaghi, Sabah
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2021, 21 (05): : 139 - 150
  • [4] OBJECT-ORIENTED MOTION ABSTRACTION
    ERKAN, B
    OZGUC, B
    JOURNAL OF VISUALIZATION AND COMPUTER ANIMATION, 1995, 6 (01): : 49 - 65
  • [5] Object-oriented Programming with Gradual Abstraction
    Normark, Kurt
    Thomsen, Lone Leth
    Thomsen, Bent
    ACM SIGPLAN NOTICES, 2013, 48 (02) : 41 - 51
  • [6] An object-oriented calculus with term constraints
    Suranyi, Gabor M.
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 353 - 386
  • [7] Object connectivity and full abstraction for a concurrent calculus of classes
    Abrahám, E
    Bonsangue, MM
    de Boer, FS
    Steffen, M
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 37 - 51
  • [8] Classes and modules in object-oriented languages
    Barron-Estrada, ML
    Stansifer, R
    Zatarain-Cabada, R
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2004, : 138 - 143
  • [9] A cohesion measure for object-oriented classes
    Chae, HS
    Kwon, YR
    Bae, DH
    SOFTWARE-PRACTICE & EXPERIENCE, 2000, 30 (12): : 1405 - 1431
  • [10] The viewpoint abstraction in object-oriented modeling and the UML
    Motschnig-Pitrik, R
    CONCEPTUAL MODELING ER 2000, PROCEEDINGS, 2000, 1920 : 543 - 557
12345