Checking correctness of code generator architecture specifications.

Niranjan Hasabnis Rui Qiao R. Sekar

Published in: CGO (2015)

Keyphrases

code generator
code generation
process model
automatically generated
application development
modeling language
formal specification
high level
databases
data model
software architecture
rapid prototyping