Computer Science
Computer Science
bullet Dr. Sreekant Murthy edits research standard | More

bullet Medical mission trip gives Rowan junior an introduction to international medicine | More

bullet Thanks to Rowan University’s Office of Health Professions and Pre-Health Society, the doctor is in — the dentist, too | More

bullet High tech, high impact: Students' research work aims to make a difference | More

bullet Gotta like it: Graphic design major interns with Facebook | 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.