The formal semantics of program slicing for nonterminating computations.
Martin P. WardHussein ZedanPublished in: J. Softw. Evol. Process. (2017)
Keyphrases
- formal semantics
- program slicing
- description languages
- source code
- formal verification
- fault localization
- reverse engineering
- logical language
- first order logic
- modeling language
- modelling language
- description language
- software maintenance
- theorem prover
- software systems
- object oriented
- owl dl ontology
- information systems
- fault detection
- model checking