B-TV: NYC art show celebrates David Bianculli’s love of television | More
CMSRU Faculty Participate in Groundbreaking Epilepsy Study | More
Knowledge is Power: New Rowan sculpture celebrates joy of learning | More
Rowan unveils cast bronze plaque to honor World War II veterans | More
“Rowan Choice” can save freshmen about $10,000 | 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.