Sign in
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