Goal-directed weakening of abstract interpretation results.

Sunae Seo Hongseok Yang Kwangkeun Yi Taisook Han

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

goal directed
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
active databases
reasoning engine
autonomous robots
database
case study
mobile robot
object oriented
data management
integrity constraints