Code Selection by Regularly Controlled Term Rewriting.

Helmut Emmelmann

Published in: Code Generation (1991)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
source code
database
neural network
email
mobile robot
inference rules