Statically safe program generation with SafeGen. (2005)

by S S Huang, D Zook, Y Smaragdakis
Venue:In Proc. Int’l Conf. Generative Programming and Component Engineering (GPCE),