The Semantics of Abstract Program Slicing

Zanardini, Damiano (2008). The Semantics of Abstract Program Slicing. En: "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.

Descripción

Título: The Semantics of Abstract Program Slicing
Autor/es:
  • Zanardini, Damiano
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Fechas del Evento: 28/09/2008-29/09/2008
Lugar del Evento: Pekín, China
Título del Libro: Proceedings of 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008
Fecha: 2008
ISBN: 978-0-7695-3353-7
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (294kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 4379
Identificador DC: http://oa.upm.es/4379/
Identificador OAI: oai:oa.upm.es:4379
URL Oficial: http://www.computer.org/portal/web/csdl/abs/proceedings/scam/2008/3353/00/3353toc.htm
Depositado por: Memoria Investigacion
Depositado el: 29 Sep 2010 11:01
Ultima Modificación: 20 Abr 2016 13:38
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM