Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (294kB) | Preview |
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.
Title: | The Semantics of Abstract Program Slicing |
---|---|
Author/s: |
|
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 |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (294kB) | Preview |
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.
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 |