Demanded abstract interpretation.

Benno Stein Bor-Yuh Evan Chang Manu Sridharan

Published in: PLDI (2021)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
information systems
knowledge base
open source
software development
temporal databases