Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 9, 2017 - 3:33:31 PM
Last modification on : Tuesday, October 19, 2021 - 3:44:46 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:43:10 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads