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

Valérie Gouranton; Daniel Le Métayer

Article Dans Une Revue Journal of Logic and Computation Année : 1999

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

(1) , (1)

1

Valérie Gouranton

Fonction : Auteur
PersonId : 1272
IdHAL : valerie-gouranton
ORCID : 0000-0002-9351-2747
IdRef : 196259843

Logiciel : ANalyse et DEveloppement

CV

Daniel Le Métayer

Fonction : Auteur
PersonId : 170349
IdHAL : daniel-le-metayer
IdRef : 083763961

Logiciel : ANalyse et DEveloppement

Domaines

Calcul formel [cs.SC] Langage de programmation [cs.PL]

Valérie Gouranton : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00137413

Soumis le : lundi 19 mars 2007-16:55:32

Dernière modification le : vendredi 24 mars 2023-14:52:48

Dates et versions

hal-00137413 , version 1 (19-03-2007)

Identifiants

HAL Id : hal-00137413 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-INSA-R INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM

168 Consultations

0 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager