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

Valérie Gouranton 1 Daniel Le Métayer 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00137413
Contributor : Valérie Gouranton <>
Submitted on : Monday, March 19, 2007 - 4:55:32 PM
Last modification on : Thursday, November 29, 2018 - 6:18:08 PM

Identifiers

  • HAL Id : hal-00137413, version 1

Citation

Valérie Gouranton, Daniel Le Métayer. Dynamic slicing : a generic analysis based on a natural semantics format. Journal of Logic and Computation, Oxford University Press (OUP), 1999, 9, pp 835-871, number 6. ⟨hal-00137413⟩

Share

Metrics

Record views

326