Rowan and Special Olympics help people Get FIT | More
Got Rowan pride? Homecoming contest looking to identify Glassboro family with the most Prof pride | More
Rowan trustees approve engineering school growth | More
Yovnello honored with room dedication | More
From rags to Rowan: President Ali Houshmand | 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.