Logo des Repositoriums
 

From structured heaps to encapsulated runtime components

Kurzanzeige
dc.contributor.authorPoetzsch Heffter, Arnd
dc.contributor.editorDadam, Peter
dc.contributor.editorReichert, Manfred
dc.date.accessioned2019-10-11T11:37:49Z
dc.date.available2019-10-11T11:37:49Z
dc.date.issued2004
dc.description.abstractIn 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.en
dc.identifier.isbn3-88579-380-6
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28803
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-51
dc.titleFrom structured heaps to encapsulated runtime componentsen
dc.typeText/Conference Paper
gi.citation.endPage396
gi.citation.publisherPlaceBonn
gi.citation.startPage396
gi.conference.date20.-24. September 2004
gi.conference.locationUlm
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.51-88.pdf
Größe:
219.2 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P051 - INFORMATIK 2004 - Informatik verbindet - Band 2