Program refinement using generic object

This paper introduces a generic object which behaves flexibly according to its related objects and conditions for execution in an object-oriented programming system, called ISL-xscheme. A generic object is an instance of `Generic´ class and created by providing abstract classes as a domain. It behaves adequately in the domain depending on its constraints and the messages sent to it. Generic objects are useful for various purposes and applications because they are flexibly transformed via executions depending on what they are used for and how they are used. They are especially effective for program refinement