Shan Shan Huang, David Zook, Yannis Smaragdakis. Statically Safe Program Generation with SafeGen. In Robert Glück, Michael R. Lowry, editors, Generative Programming and Component Engineering, 4th International Conference, GPCE 2005. Volume 3676 of Lecture Notes in Computer Science, pages 309-326, Springer, Tallinn, Estonia, 2005. [doi]
@inproceedings{HuangZS05,
title = {Statically Safe Program Generation with SafeGen},
author = {Shan Shan Huang and David Zook and Yannis Smaragdakis},
year = {2005},
doi = {10.1007/11561347_21},
url = {http://dx.doi.org/10.1007/11561347_21},
tags = {program analysis, Variability-Aware Analysis, analysis, static analysis, context-aware},
researchr = {https://researchr.org/publication/HuangZS05},
cites = {0},
citedby = {0},
pages = {309-326},
booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
editor = {Robert Glück and Michael R. Lowry},
volume = {3676},
series = {Lecture Notes in Computer Science},
address = {Tallinn, Estonia},
publisher = {Springer},
isbn = {3-540-29138-5},
}