A Generic Program Slicing Technique Based on Language Definitions - Recent Trends in Algebraic DevelopmentTechniques Access content directly
Conference Papers Year : 2013

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_15_Chapter.pdf (287.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01485973 , version 1 (09-03-2017)

Licence

Attribution

Identifiers

Cite

Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae. A Generic Program Slicing Technique Based on Language Definitions. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.248-264, ⟨10.1007/978-3-642-37635-1_15⟩. ⟨hal-01485973⟩
65 View
63 Download

Altmetric

Share

Gmail Facebook X LinkedIn More