An Implementation of a Code Generator Specification Language for Table Driven Code Generators.

Published in: SIGPLAN Symposium on Compiler Construction (1982)

Keyphrases

specification language
code generator
code generation
formal specification
programming language
process model
automatically generated
description language
software environment
model checking
application development
databases
source code