Symbolic Program Analysis Using Term Rewriting and Generalization.

Published in: FMCAD (2008)

Keyphrases

term rewriting
knuth bendix
theorem proving
theorem prover
operational semantics
rewrite systems
neural network
high level
training data
object oriented
inference rules
binary decision diagrams