A Mechanically Verified Code Generator.

William D. Young

Published in: J. Autom. Reason. (1989)

Keyphrases

code generator
automatically generated
code generation
process model
databases
knowledge management