The notion of partial deduction known from logic programming is defined in the framework of
Structural Synthesis of Programs (SSP). Partial deduction for unconditional computability …

We introduce in this paper the notion of partial deduction in the framework of structural
synthesis of programs (SSP). The basic principles of SSP and partial deduction for logic …

The purpose of the paper is to describe the design of logic-based meta-language for
representing constraints on managing evolution of class and object lattices in OODB. It will …

In this paper, we propose a methodology for specification of semantics of evolution in
objectoriented databases. Our methodology is based on Hom logic as metalanguage for …

The notion of partial deduction known from logic programming is de ned in the framework of
Structural Synthesis of Programs (SSP). Partial deduction for unconditional computability …

An object-oriented language with automatic synthesis of methods (programs) and
transformations of OO descriptions using a logical metalanguage (Horn-clause logic) are …

We propose a logic based meta-language for representing constraints on class and object
lattices and provide a set of corresponding inference rules. The meta-language 1] di ers from …

Aruandes k asitletakse K uberneetika Instituudi tarkvaraosakonna 1993. a. uurimistulemusi.
Vaadeldava uurimist oo sisuks on teadmiste esitamise ja kasutamise mudelite t aiustamine …

This paper considers both an object-oriented multi-layered approach to application design
as well as the programming system which implements the methodology presented. The …

This paper considers the problem of providing an Object-Oriented (OO) system with
reasoning and program synthesis abilities. We consider an object-oriented knowledge …