Congratulations Graduates 2013! | More

Regional high school students can RISE in Rowan Engineering | More

College of Engineering welcomes middle school girls to annual AWE summer workshops | More

Rowan sets information session for Young Profs Exploration Camp | More

Cancer survivor turns dream into reality | More

Title
A theorem on refinement operators for logic program synthesis

Author
Nancy Lynn Tinkham
Department of Computer Science
Rowan University
Glassboro, NJ 08028
E-mail: nlt@rowan.edu

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.