The Equational Specification of Efficient Compiler Code Generation.

Philip J. Hatcher

Published in: Comput. Lang. (1991)

Keyphrases

code generation
application development
software development
formal specification
code generator
model driven
modeling language
theorem proving
software reuse
real world
data management
rapid prototyping
highly optimized
metamodel
petri net
data processing
web applications
decision making
data mining