Keyphrases
- abstract interpretation
- active rules
- termination analysis
- static analysis
- model checking
- active databases
- control flow
- integrity constraints
- reasoning engine
- complete axiomatization
- formal semantics
- semantic information
- state university
- dynamic analysis
- modal operators
- fine grained
- high level
- regular expressions
- deductive databases
- object oriented
- artificial intelligence