Code Generator Generation Based on Template-Driven Target Term Rewriting.

Annie Despland Monique Mazaud Raymond Rakotozafy

Published in: RTA (1987)

Keyphrases

term rewriting
code generator
theorem proving
theorem prover
operational semantics
process model
automatically generated
rewrite systems
knuth bendix
code generation
machine learning
data driven
knowledge base
expert systems