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

https://hal.inria.fr/hal-01485973
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:33:31 PM
Last modification on : Friday, September 29, 2017 - 2:36:04 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:43:10 PM

File

978-3-642-37635-1_15_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Adrián Riesco, Irina 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⟩

Share

Metrics

Record views

151

Files downloads

237