Statically Safe Program Generation with SafeGen (2005)

by S S Huang, D Zook, Y Smaragdakis
Venue:In Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Proceedings, volume 3676 of LNCS