Observatorio de I+D+i UPM

Descripción
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.
Internacional	Si
Nombre congreso	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
Tipo de participación	960
Lugar del congreso	San Francisco, California
Revisores	Si
ISBN o ISSN	9781595939777
DOI	10.1145/1328408.1328428
Fecha inicio congreso
Fecha fin congreso
Desde la página	125
Hasta la página	134
Título de las actas	ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation

Esta actividad pertenece a memorias de investigación

• Autor: Isabella Mastroieni (UNK)
• Autor: Manuel de Hermenegildo Salinas (UPM)
• Autor: Damiano Zanardini (UPM)

• Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
• Departamento: Inteligencia Artificial