Abstract Interpretation of Supermodular Games.

Francesco Ranzato

Published in: SAS (2016)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
active databases
reasoning engine
information systems
database
databases
high level
source code
object oriented databases