Design‚ Implementation and Evaluation of a Declarative Object−Oriented Programming Language

Abstract

This thesis is a detailed study of FOOPS, a "wide spectrum" object-oriented programming language. FOOPS supports all of the classical features of the object paradigm, including classes, overloading polymorphism, and multiple class inheritance with overriding and dynamic binding. However, it goes beyond other object-oriented languages in its facilities for the specification composition and reuse of modules. FOOPS is patterned after OBJ, a functional programming language, and from which it derives several of these facilities.