Data dependencies and program slicing: from syntax to abstract semantics

Mastroieni, Isabella and Zanardini, Damiano (2008). Data dependencies and program slicing: from syntax to abstract semantics. In: "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.

Description

Title: Data dependencies and program slicing: from syntax to abstract semantics
Author/s:
  • Mastroieni, Isabella
  • Zanardini, Damiano
Item Type: Presentation at Congress or Conference (Article)
Event Title: ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08
Event Dates: 07/01/2008-08/01/2008
Event Location: San Francisco, California
Title of Book: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08
Date: 2008
ISBN: 978-159-5939-777
Subjects:
Freetext Keywords: Abstract Interpretation, Abstract non-interference, Dependency analysis, Program slicing
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (352kB) | Preview

Abstract

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

More information

Item ID: 4375
DC Identifier: http://oa.upm.es/4375/
OAI Identifier: oai:oa.upm.es:4375
DOI: 10.1145/1328408.1328428
Official URL: http://www.program-transformation.org/PEPM08
Deposited by: Memoria Investigacion
Deposited on: 29 Sep 2010 12:05
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