English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  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

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2633-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2634-8
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Georgieva, Lilia1, Author           
Maier, Patrick1, Author           
Aichernig, Bernhard K., Editor
Beckert, Bernhard1, Editor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2006-04-252005
 Publication Status: Issued
 Pages: -
 Publishing info: Los Alamitos, USA : IEEE
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 279086
Other: Local-ID: C1256104005ECAFC-3D4BAE638E030845C12570B6005153F9-GeorgievaMaier2005
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Koblenz, Germany
Start-/End Date: 2005-09-07

Legal Case

show

Project information

show

Source 1

show
hide
Title: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Los Alamitos, USA : IEEE
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 321 - 330 Identifier: ISBN: 0-7695-2435-4