Rowan advertising students learn to throw the perfect pitch | More
Rowan's Henderson receives ECAC Scholar-Athlete of the Year Award | More
Special events show Rowan, Boro ever closer | More
‘Refuse to Sink’: Rowan to host consortium on suicide prevention | More
Two Board of Trustees members return, three start first terms | More
Upward and downward refinement operators can be used to order the space of program schemata; these operators make program generalization and synthesis more efficient. This paper presents a theorem relating a pair of refinement operators to the sets of goals covered by schemata.