This paper presents an approach to achieving reliable cost-effective software via
automatic program generation patterns.  
The main idea is to certify the patterns once, to establish a reliability 
property for all of the programs that could possibly be generated from the 
patterns.  We focus here on properties that can be checked via computable static 
analysis.  Examples of methods to assure syntactic correctness and exception 
closure of the generated code are presented.  
Exception closure means that a software module cannot raise any exceptions other 
than those declared in its interface.