%0 Journal Article %1 journals/scp/HuangZS11 %A Huang, Shan Shan %A Zook, David %A Smaragdakis, Yannis %D 2011 %J Sci. Comput. Program. %K dblp %N 5 %P 376-391 %T Statically safe program generation with SafeGen. %U http://dblp.uni-trier.de/db/journals/scp/scp76.html#HuangZS11 %V 76

@article{journals/scp/HuangZS11, added-at = {2011-04-11T00:00:00.000+0200}, author = {Huang, Shan Shan and Zook, David and Smaragdakis, Yannis}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af3437426a584a5bb488b9046a0dc5c7/dblp}, ee = {http://dx.doi.org/10.1016/j.scico.2008.09.007}, interhash = {728b0e347f619c6c2b206777a7c8d03f}, intrahash = {af3437426a584a5bb488b9046a0dc5c7}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 5, pages = {376-391}, timestamp = {2016-02-02T02:39:05.000+0100}, title = {Statically safe program generation with SafeGen.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp76.html#HuangZS11}, volume = 76, year = 2011 }