Certifying Compilation and Run-Time Code Generation.

Luke Hornof Trevor Jim

Published in: High. Order Symb. Comput. (1999)

Keyphrases

code generation
software development
application development
modeling language
model driven
code generator
formal specification
software reuse
design patterns
rapid prototyping
data sets
data driven
development process