Data dependencies and program slicing: from syntax to abstract semantics

Mastroieni, Isabella y Zanardini, Damiano (2008). Data dependencies and program slicing: from syntax to abstract semantics. En: "ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08", 07/01/2008-08/01/2008, San Francisco, California. ISBN 978-159-5939-777. https://doi.org/10.1145/1328408.1328428.

Descripción

Título: Data dependencies and program slicing: from syntax to abstract semantics
Autor/es:
  • Mastroieni, Isabella
  • Zanardini, Damiano
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08
Fechas del Evento: 07/01/2008-08/01/2008
Lugar del Evento: San Francisco, California
Título del Libro: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08
Fecha: 2008
ISBN: 978-159-5939-777
Materias:
Palabras Clave Informales: Abstract Interpretation, Abstract non-interference, Dependency analysis, Program slicing
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 (352kB) | Vista Previa

Resumen

We discuss the relation between program slicing and data dependencies. We claim that slicing can be defined, and therefore calculated, parametrically on the chosen notion of dependency, which implies a different result when building the program dependency graph. In this framework, it is possible to choose dependency in the syntactic or semantic sense, thus leading to compute possibly different, smaller slices. Moreover, the notion of abstract dependency, based on properties instead of exact data values, is investigated in its theoretical meaning. Constructive ideas are given to compute abstract dependencies on expressions, and to transform properties in order to rule out some dependencies. The application of these ideas to information flow is also discussed. Categories and Subject Descriptors D.2.4 [Software/Program Verification]: Formal Methods; D.3.1 [Formal Definitions and Theory]: Semantics; F.3.2 [Semantics of Programming Languages]:Program analysis; I.1.0 [General]General Terms Languages, Security, Theory, Verification

Más información

ID de Registro: 4375
Identificador DC: http://oa.upm.es/4375/
Identificador OAI: oai:oa.upm.es:4375
Identificador DOI: 10.1145/1328408.1328428
URL Oficial: http://www.program-transformation.org/PEPM08
Depositado por: Memoria Investigacion
Depositado el: 29 Sep 2010 12:05
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