On the Monniaux Problem in Abstract Interpretation.

Nathanaël Fijalkow Engel Lefaucheux Pierre Ohlmann Joël Ouaknine Amaury Pouly James Worrell

Published in: SAS (2019)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
reasoning engine
dynamic analysis
databases
source code
knowledge representation
data management
object oriented databases