Program Synthesis and Transformations in an Object-Oriented Environment

An object-oriented language with automatic synthesis of methods (programs) and transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are considered. Automatic synthesis of methods (Proof-As-Program approach) is based on intuitionistic propositional calculus. The metalanguage expresses general knowledge related to classes and objects and it is used for describing transformations of classes and objects according to these knowledge and current state of an object base. Partial deduction in combination with classical deduction is used for manipulating descriptions in the metalanguage. Program synthesis and transformation of classes and objects allow to combine declarative and imperative styles of programming and to support dynamic evolution of OO environment. 1 Introduction The basic notions of object-oriented (OO) programming are objects, classes and inheritance. A class contains the description of state variables and methods and objects interact by means of m..