Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Description Logics for Shape Analysis

Georgieva, L., & Maier, P. (2005). Description Logics for Shape Analysis. In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) (pp. 321-330). Los Alamitos, USA: IEEE.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Georgieva, Lilia1, Autor           
Maier, Patrick1, Autor           
Aichernig, Bernhard K., Herausgeber
Beckert, Bernhard1, Herausgeber           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such programs involves reasoning about unbounded sets of graphs. Three-valued shape analysis (Sagiv et. al.) is an approach based on explicit manipulation of 3-valued shape graphs, which abstract sets of pointer graphs. Other approaches use symbolic representations, e.g. by describing (sets of) graphs as logical formulas. Unfortunately, many resulting logics are either undecidable or cannot express crucial properties like reachability and separation. In this paper, we investigate an alternative approach. We study well-known description logics as a framework for symbolic shape analysis. We propose a predicate abstraction based shape analysis, parameterized by description logics to represent the abstraction predicates. Depending on the particular logic chosen sharing, reachability and separation in pointer data structures are expressible.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2006-04-252005
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 279086
Anderer: Local-ID: C1256104005ECAFC-3D4BAE638E030845C12570B6005153F9-GeorgievaMaier2005
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Koblenz, Germany
Start-/Enddatum: 2005-09-07

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 321 - 330 Identifikator: ISBN: 0-7695-2435-4