Move-in Tips For #Rowan18 | More
Home Sweet Rowan: Intensive training program prepares RAs to serve residential students | More
Welcome, Profs! Programs, initiatives focus on campus engagement from the start | More
Profs gearing up for memorable fall sports campaigns | More
Prof’s film of gun violence, family and perseverance wins top prize | 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.