Code Generation via Higher-Order Rewrite Systems.

Florian Haftmann Tobias Nipkow

Published in: FLOPS (2010)

Keyphrases

code generation
rewrite systems
higher order
term rewriting
application development
code generator
knuth bendix
software development
active rules
model driven
modeling language
software reuse
formal specification
rapid prototyping
design patterns
database
theorem proving
data processing
web applications