Rowan Medicine: A new name for health care in South Jersey | More
New writing scholarship awards three incoming freshmen $35K | More
Rowan winter/summer classes saving students time and money | More
Rowan scholar to study organized crime, terrorism in Eurasia through grant from Department of Defense’s Minerva Research Institute | More
In 12 Orientation sessions, new Profs—and their parents—get a formal introduction to Rowan | 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.