A Machine-Verified Code Generator.

Christoph Walther Stephan Schweitzer

Published in: LPAR (2003)

Keyphrases

code generator
process model
automatically generated
code generation
object oriented
data processing