Speakers to offer insights, inspiration during Disability Awareness Week at Rowan | More
Write On! New scholarship awards $35,000 to freshman writers | More
RTF alumni nab seven Emmy Awards (six regional, one in Primetime!) | More
Executive from Nation's Top Financial Planning and Investment Management Firm elected Chair of Rowan University Foundation Board | More
Baby boomer beacon: Rowan Radio turns 50 | 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.