Logo des Repositoriums
 
Konferenzbeitrag

From structured heaps to encapsulated runtime components

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2004

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

In OO-modeling and programming, state is structured into a set of objects. Objects can reference each other forming a graph with objects as nodes and references as edges. During the execution of object systems, the graph structure changes when objects are created or references are stored. As objects can access other objects only by following references, means to control the graph structure are very important to understand, develop, specify, or verify object systems. In the last years, several techniqes in particular extended type systems have been stu died and developed to guarantee properties of the object graphs. We review two of these techniques, namely ownership and universe types and explain their fundamental role for semantics based encapsulation and modular verification.

Beschreibung

Poetzsch Heffter, Arnd (2004): From structured heaps to encapsulated runtime components. Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-380-6. pp. 396-396. Regular Research Papers. Ulm. 20.-24. September 2004

Schlagwörter

Zitierform

DOI

Tags