Implementation and manipulation of formal objects: an object-oriented view

Abstract

This work is intended as a first introductive step in studying a set of characteristics for the development of a Formal Objects Definition and Implementation System. Characteristics are considered, from the point of view both of specification formal language, and of implementation programming language; indeed programming and specifying are considered as actions to be uniformed under the same general conceptual modeling. This conceptual modeling is given by the Object-Oriented methodology; in this paradigm, some features are discussed which are considered of main interest for our aims. Argument of interest are Algorithmic Logic, as a logic specification language, and Loglan and Eiffel as innovative Object-Oriented programming languages.