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 条
  • [31] SPECIFICATION AND VERIFICATION OF OBJECT-ORIENTED PROGRAMS USING SUPERTYPE ABSTRACTION
    LEAVENS, GT
    WEIHL, WE
    ACTA INFORMATICA, 1995, 32 (08) : 705 - 778
  • [32] ADA-9X - FROM ABSTRACTION-ORIENTED TO OBJECT-ORIENTED
    TAFT, ST
    SIGPLAN NOTICES, 1993, 28 (10): : 127 - 136
  • [33] COGNITIVE ACTIVITIES AND LEVELS OF ABSTRACTION IN PROCEDURAL AND OBJECT-ORIENTED DESIGN
    PENNINGTON, N
    LEE, AY
    REHDER, B
    HUMAN-COMPUTER INTERACTION, 1995, 10 (2-3): : 171 - 226
  • [34] Object-Oriented State Abstraction in Reinforcement Learning for Video Games
    Chen, Yu
    Yuan, Huizhuo
    Li, Yujun
    2019 IEEE CONFERENCE ON GAMES (COG), 2019,
  • [35] Expert/novice comparison of abstraction and extensibility in object-oriented design
    Ryan, C
    Al-Qaimari, G
    PROCEEDINGS OF THE HUMAN FACTORS AND ERGONOMICS SOCIETY 43RD ANNUAL MEETING, VOLS 1 AND 2, 1999, : 405 - 409
  • [36] Analyzing the Power of Classes in an Object-Oriented Software System
    Wang, Muchou
    INTERNATIONAL CONFERENCE ON GRAPHIC AND IMAGE PROCESSING (ICGIP 2011), 2011, 8285
  • [37] Key Classes in Object-Oriented Systems: Detection and Assessment
    Vale, Liliane do Nascimento
    Maia, Marcelo de Almeida
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1439 - 1463
  • [38] Coalgebraic reasoning about classes in object-oriented languages
    Jacobs, Bart
    Electronic Notes in Theoretical Computer Science, 1998, 11 : 231 - 242
  • [39] VIRTUAL CLASSES - A POWERFUL MECHANISM IN OBJECT-ORIENTED PROGRAMMING
    MADSEN, OL
    MOLLERPEDERSEN, B
    SIGPLAN NOTICES, 1989, 24 (10): : 397 - 406
  • [40] Object calculus and the object-oriented analysis and design of an error-sensitive GIS
    Duckham, M
    GEOINFORMATICA, 2001, 5 (03) : 261 - 289
12345