Rowan students offer free tax preparation assistance through VITA program | More
Rowan alumnus to be honored during 2016 Delaware Valley Engineers Week | More
Pediatrician to share his experiences working with victims of Darfur genocide | More
Celebrating President’s Day: Historian’s talk to focus on Andrew Johnson's presidency | More
Sharing big ideas: Rowan Paleontologist to deliver TED Talk at 2016 TED Conference | 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.