Rowan Remembers: Candlelight vigil pays tribute to fallen Profs | More
Hollybash to unite University community for end-of-semester fun | More
PhysTEC grant helps Rowan students prepare to be the physics teachers of tomorrow | More
Rohrer accounting majors earn NJSCPA scholarships | More
Senior class gift donations to support scholarships for incoming students | 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.