Of "Ellen" and Emmys: RTF grads go Hollywood | More
CMSRU researcher receives NIH Grant to study impact of carbon dioxide following cardiac arrest | More
Lehrman named dean of Rowan’s Rohrer College of Business | More
College of Engineering among U.S. schools committed to educating 20,000 students to meet “Grand Challenges” | More
Rowan teaches the world | 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.