Football team to hold Be the Match Registry on April 22 | More
Professor provides tips for parents of children recently diagnosed with autism spectrum disorder | More
Rowan University police launch body worn cameras program | More
A swimming success: Rowan sophomore wins two national titles | More
Rowan Engineering hosting summer 2015 programs for middle and high school students | 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.