Rowan University IEEE to host international visitors for Sumo Robot Competition | More
Assoc. Prof makes Ironman World Championship, raises funds to fight pancreatic cancer | More
Rowan film project supports White House fight against sexual assault on campus | More
Wanted: Glassboro’s most #RowanPROUD family | More
South Jersey state colleges hit record high enrollment | 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.