Number: CS 19/91
Author(s): MATSKIN, Michail B.
Title: NUT: An object-oriented system with automatic synthesis of methods. 16 p.
Language: English
ABSTRACT. The integration of object-oriented programming and automatic program
synthesis from specification is considered. This extension of object-oriented
programming is used for automatic synthesis of methods in a programming system
called NUT which has been developed in the Institute of Cybernetics of Estonian
Academy of Sciences. The paper contains a brief introduction to the particular
automatic program synthesis method used and a description of the NUT system.
The main features of the NUT system are illustrated by means of examples.