Absynthe: Abstract Interpretation-Guided Synthesis.

Sankha Narayan Guria Jeffrey S. Foster David Van Horn

Published in: CoRR (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
database
source code