Rowan team places 10th in Supermileage competition | More
Cooper Medical School of Rowan University receives major federal grant | More
Rowan Research gives hope to patients of Canavan disease through commercial agreement with Bamboo Therapeutics, Inc. | More
Rowan engineering, med students seeks solutions to health care problems | More
10th graders attend free 3-week Rowan academy, earn three college credits | 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.