Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 6, pp. 835-871: Abstract.

Dynamic slicing: a generic analysis based on a natural semantics format

V Gouranton and D Le Métayer

Institut de Recherche en Informatique et Systèmes Aléatoires (Irisa), Institut de Formation Supéreure en Informatique et Communication (Ifsic), Campus de Beaulieu, 35042 Rennes cedex, France, E-mail: {Valerie.Gouranton, Daniel.Lemetayer}@irisa.fr;, Valerie.Gouranton@lifo.univ-orleans.fr

Slicing analyses have been proposed for different programming languages. Rather than defining a new analysis from scratch for each programming language, we would like to specify such an analysis once and for all, in a language-independent way, and then specialize it for different programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing analysis format. The natural semantics format formalizes a class of natural semantics and the analysis format is a generic, language-independent, slicing analysis. The correctness of the generic analysis is established as a relation between the derivation trees of the original program and the slice. This generic analysis is then instantiated to several programming languages conforming to the semantics format (an imperative language, a logic programming language and a functional language), yielding a dynamic slicing analyzer for each of these languages.

Keywords: Dynamic slicing analysis, natural semantics, proof tree, correctness, systematic derivation.

  Full-Text PDF  (326 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.