The Semantics of Abstract Program Slicing

Zanardini, Damiano (2008). The Semantics of Abstract Program Slicing. In: "8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008", 28/09/2008-29/09/2008, Pekín, China. ISBN 978-0-7695-3353-7.

Description

Title: The Semantics of Abstract Program Slicing
Author/s:
  • Zanardini, Damiano
Item Type: Presentation at Congress or Conference (Article)
Event Title: 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Event Dates: 28/09/2008-29/09/2008
Event Location: Pekín, China
Title of Book: Proceedings of 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Date: 2008
ISBN: 978-0-7695-3353-7
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of INVE_MEM_2008_60129.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (294kB) | Preview

Abstract

The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values. This approach is based on abstract interpretation: properties are abstractions of data. Many properties can be investigated; e.g., the nullity of a program variable. Standard slicing is a special case, where properties are exactly the concrete values. As a practical outcome, abstract slices are likely to be smaller than standard ones, since commands which are relevant at the concrete level can be removed if only some abstract property is supposed to be preserved. This can make debugging and program understanding tasks easier, since a smaller portion of code must be inspected when searching for undesired behavior. The framework also includes the possibility to restrict the input states of the program, in the style of conditioned slicing, thus lying between static and dynamic slicing.

More information

Item ID: 4379
DC Identifier: https://oa.upm.es/4379/
OAI Identifier: oai:oa.upm.es:4379
Official URL: http://www.computer.org/portal/web/csdl/abs/procee...
Deposited by: Memoria Investigacion
Deposited on: 29 Sep 2010 11:01
Last Modified: 20 Apr 2016 13:38
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM