Absynthe: Abstract Interpretation-Guided Synthesis.

Sankha Narayan Guria Jeffrey S. Foster David Van Horn

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
dynamic analysis
reasoning engine
information systems