Generalized Program Sketching by Abstract Interpretation and Logical Abduction.

Aleksandar S. Dimovski

Published in: SAS (2023)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
source code
model checking
reverse engineering
case study
logic programming
reasoning engine
abductive reasoning
open source
business processes
distributed databases
probabilistic logic