Login / Signup
A formal relationship between program slicing and partial evaluation.
David W. Binkley
Sebastian Danicic
Mark Harman
John Howroyd
Lahcen Ouarbya
Published in:
Formal Aspects Comput. (2006)
Keyphrases
</>
partial evaluation
program slicing
explanation based generalization
description languages
source code
formal verification
fault localization
reverse engineering
domain theory
formal specification
database systems
software maintenance
description language
database
open source
knowledge base
data sets