Dr. Sreekant Murthy edits research standard | More
Medical mission trip gives Rowan junior an introduction to international medicine | More
Thanks to Rowan University’s Office of Health Professions and Pre-Health Society, the doctor is in — the dentist, too | More
High tech, high impact: Students' research work aims to make a difference | More
Gotta like it: Graphic design major interns with Facebook | 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.