A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.

Toshinori Takai

Published in: RTA (2004)

Keyphrases

term rewriting systems
abstract interpretation
model checking
termination analysis
static analysis
logic programs
functional programs
active rules
dynamic analysis
reasoning engine
active databases
databases
artificial intelligence