Statically safe program generation with SafeGen, GPCE’05 (2005)

by S Huang, D Zook, Y Smaragdakis
Venue:Proceedings of the 4th International Conference on Generative Programming and Component Engineering