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]

Authors

Shan Shan Huang

Identified as Shan Shan Huang
(LogicBlox
)

David Zook

This author has not been identified. Look up 'David Zook' in Google

Yannis Smaragdakis

Identified as Yannis Smaragdakis