Konferenzbeitrag
From structured heaps to encapsulated runtime components
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2004
Autor:innen
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.