RAPT: A Program Transformation System Based on Term Rewriting.

Yuki Chiba Takahito Aoto

Published in: RTA (2006)

Keyphrases

term rewriting
object level
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
computer vision
databases