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 条
  • [21] Fuzzy classes in object-oriented logic programming
    Baldwin, JF
    Martin, TP
    FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 1358 - 1364
  • [22] A MODEL FOR VERSIONING OF CLASSES IN OBJECT-ORIENTED DATABASES
    MONK, SR
    SOMMERVILLE, I
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 618 : 42 - 58
  • [23] Allocation of Classes in distributed object-oriented databases
    Lee, Soon-Mi
    Ha, Yan
    Park, Hea-Sook
    SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, : 237 - 242
  • [24] A cohesion measure for classes in object-oriented systems
    Chae, HS
    Kwon, YR
    FIFTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM - METRICS 1998, PROCEEDINGS, 1998, : 158 - 166
  • [25] Full abstraction at package boundaries of object-oriented languages
    University of Kaiserslautern, Germany
    Lect. Notes Comput. Sci., 1600, (28-43):
  • [26] Object-oriented abstraction of contemporary forest management design
    Baskent, EZ
    Wightman, RA
    Jordan, GA
    Zhai, YH
    ECOLOGICAL MODELLING, 2001, 143 (03) : 147 - 164
  • [27] Reconsidering Classes in Procedural Object-Oriented Code
    Bhatti, Muhammad Usman
    Ducasse, Stephane
    Huchard, Marianne
    FIFTEENTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2008, : 257 - +
  • [28] USING Z AS A SPECIFICATION CALCULUS FOR OBJECT-ORIENTED SYSTEMS
    HALL, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 290 - 318
  • [29] A generic framework for heap and value analyses of object-oriented programming languages
    Ferrara, Pietro
    THEORETICAL COMPUTER SCIENCE, 2016, 631 : 43 - 72
  • [30] OBJECT-ORIENTED PROGRAMMING LANGUAGES AS TOOLS FOR FORMULATIONS OF SYSTEM ABSTRACTION
    Kindler, Eugene
    Krivy, Ivan
    APLIMAT 2009: 8TH INTERNATIONAL CONFERENCE, PROCEEDINGS, 2009, : 583 - 592
12345