Abstract Interpretation Against Races.

Roberto Barbuti Stefano Cataudella Luca Tesei

Published in: Fundam. Informaticae (2004)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
databases
mobile devices