Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs.
Abu Naser MasudBjörn LisperPublished in: ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
- program slicing
- provably correct
- semantic web
- semantic level
- semantic information
- natural language
- domain specific
- semantic knowledge
- semantic interpretation
- semantic analysis
- formal verification
- situation calculus
- semantic annotation
- domain independent
- domain ontology
- case study
- semantic description
- context dependent
- semantically related
- semantically meaningful
- semantic web technologies
- data sets
- data sources
- neural network