Rowan Engineering, RCGC sign agreement | More
Commencement 2015: Read all about it! | More
CHSS alumna to Class of 2015: Find your mission…and people who support it | More
Rohrer College of Business graduates 335, honors two business leaders | More
Celebrating a noble...and ennobling...profession | 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.