Memorias de investigación
Communications at congresses:
Data dependencies and program slicing: from syntax to abstract semantics
Year:2008

Research Areas
  • Programming language

Information
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.
International
Si
Congress
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
960
Place
San Francisco, California
Reviewers
Si
ISBN/ISSN
9781595939777
10.1145/1328408.1328428
Start Date
End Date
From page
125
To page
134
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial