|
Computer Science
 New Year for Rowan students takes them to Third World countries to volunteer | More Visiting Fulbright Scholars Aim to Make Computers Talk | More Prof. Jooh Lee Honored with Campbell Endowed Chair | More Cooper Medical School of Rowan University and Coriell Institute for Medical Research Build Educational Alliance | More The latest version of CLAS notes is available for download in the newsletters section. Title Author Abstract 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. |
