Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.

Oleg Kiselyov Yukiyoshi Kameyama Yuto Sudo

Published in: APLAS (2016)

Keyphrases

code generation
code generator
application development
software development
test set
databases
real world
artificial intelligence
design process
model driven