At Rowan Graduate Commencement: Levine to speak to graduates; Bartolozzi to receive honorary degree | More
Rowan partners with the Philadelphia Science Festival to bring science education to the public | More
Rowan Commencement ceremonies moved to Coach Richard Wackar Stadium | More
CCCA Showcase a focus on talent, achievement | More
Rowan Engineers Without Borders works with elementary school students on engineering-related projects | 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.