Skip to content

Statically Safe Program Generation with SafeGen.

Shan Shan Huang, David Zook, Yannis Smaragdakis

VenueBGPCE
Year2005
ProceedingsGPCE

Browse the full GPCE paper archive.