A Generic Program Slicing Technique Based on Language Definitions

Abstract : A formal executable semantics of a programming language has the necessary information to develop program debugging and reasoning techniques. In this paper we choose such a particular technique called program slicing and we introduce a generic algorithm which extracts a set of side-effects inducing constructs, directly from the formal executable semantics of a programming language. These constructs are further used to infer program slices, for given programs and specified slicing criteria. Our proposed approach improves on the parametrization of the language tools development because changes in the formal semantics are automatically carried out in the slicing procedure. We use the rewriting logic and the Maude system to implement a prototype and to test our technique.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.248-264, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_15〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01485973
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:31
Dernière modification le : vendredi 29 septembre 2017 - 14:36:04
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:43:10

Fichier

978-3-642-37635-1_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Adrián Riesco, Irina Asăvoae, Mihail Asăvoae. A Generic Program Slicing Technique Based on Language Definitions. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.248-264, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_15〉. 〈hal-01485973〉

Partager

Métriques

Consultations de la notice

62

Téléchargements de fichiers

16