Statically Safe Program Generation with SafeGen

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]

Abstract

Abstract is missing.