Logic specification of code generation techniques.

Robert Giegerich

Published in: Programs as Data Objects (1985)

Keyphrases

code generation
application development
software development
formal specification
code generator
software reuse
modeling language
model driven
rapid prototyping
asynchronous circuits
software engineering
data mining
information systems
end users