Sign in
Program Specialisation and Abstract Interpretation Reconciled.
Michael Leuschel
Published in:
IJCSLP (1998)
Keyphrases
</>
abstract interpretation
static analysis
dynamic analysis
termination analysis
model checking
query processing
source code
active databases
reasoning engine
databases
relational databases
data model
test cases
regular expressions
active rules