Abstract Interpretation of FIFO Replacement.

Daniel Grund Jan Reineke

Published in: SAS (2009)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
data flow
dynamic analysis
multi agent systems
information systems
knowledge representation