Certifying Compilation and Run-Time Code Generation.

Luke Hornof Trevor Jim

Published in: PEPM (1999)

Keyphrases

code generation
application development
software development
modeling language
code generator
model driven
software reuse
formal specification
web applications
rapid prototyping
design patterns
development process
databases
real world
software components