CSMRU faculty member elected to lead National Disaster Life Support Education Consortium | More
Exploring academics, enhancing social skills: Young Profs Exploration Camp to host 16 students | More
Summer, sun and… snakes? | More
WGLS-FM announces five inductees to station Hall of Fame | More
Rowan hosts Attracting Women into Engineering for middle school girls | 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.