Computer Science
Computer Science
bullet Soaring temperatures pose threat to children, elderly | More

bullet Rowan graduate students named Woodrow Wilson New Jersey Teaching Fellows | More

bullet Tackling 100+ years of records, Rowan Engineering partners with New Jersey American Water to digitize what's below the Garden State's surface | More

bullet New Jersey Health Foundation and The Nicholson Foundation award $50,000 Innovation Grant to Rowan University assistant professor creating improved health monitoring sensor | More

bullet N.J. Senate President Sweeney Receives Italian Consular award | More

Technical Report Number TR1997-1

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.