Henry M. Rowan Family Foundation commits $15M to Rowan University | More
Cooper Medical School of Rowan University wins national video challenge | More
Building community in Camden—one garden bed at a time | More
New business: Ground broken on new Rohrer College of Business building | More
Rev your Prius engines | 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.