Shan Shan Huang, David Zook, Yannis Smaragdakis. Statically safe program generation with SafeGen. Science of Computer Programming, 76(5):376-391, 2011. [doi]
@article{HuangZS11,
title = {Statically safe program generation with SafeGen},
author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
year = {2011},
doi = {10.1016/j.scico.2008.09.007},
url = {http://dx.doi.org/10.1016/j.scico.2008.09.007},
researchr = {https://researchr.org/publication/HuangZS11},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {76},
number = {5},
pages = {376-391},
}