Rowan University to Close Due To Inclement Weather
Jazz Festival celebrates 45 years of music and education | More
Michael Eric Dyson challenges, entertains during 29th annual MLK Jr. scholarship breakfast | More
University's spring Arts schedule offers eclectic mix | More
'Change of Tides': World War II veteran’s incredible story documented in student film | More
Rowan tech park board adds science/tech & business experts | 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.