Shan Shan Huang, David Zook, Yannis Smaragdakis. Statically Safe Program Generation with SafeGen. Science of Computer Programming, 76(5):376-391, May 2011. [doi]
@article{HuangZookSmaragdakis2011,
title = {Statically Safe Program Generation with {SafeGen}},
author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
year = {2011},
month = {May},
doi = {10.1016/j.scico.2008.09.007},
url = {http://dx.doi.org/10.1016/j.scico.2008.09.007},
tags = {programming languages, Java, meta programming, model checking, meta-model, testing, writing, type checking, compiler, programming, Meta-Environment, reflection, systematic-approach, meta-objects},
researchr = {https://researchr.org/publication/HuangZookSmaragdakis2011},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {76},
number = {5},
pages = {376-391},
}