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

Authors:
Mauro Regio;Marco Temperini
Affiliations:
Electronic Engineering Student at DIS - Università di Roma 'La Sapienza' Via Buonarroti, 12, 00185 Roma, Italy;IASI-CNR, Viale Manzoni, 30, 00185 Roma, Italy
Venue:
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Year:
1990

Citing 8
Cited 0

Inheritance and the development of encapsulated software systems

Research directions in object-oriented programming
The object-oriented classification paradigm

Research directions in object-oriented programming
Abstract data types: their specification, representation, and use

Abstract data types: their specification, representation, and use
Keynote address - data abstraction and hierarchy

OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Advanced Programming Methodologies

Advanced Programming Methodologies
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Algorithmic Logic

Algorithmic Logic
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages

Quantified Score

Hi-index	0.00

Visualization

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.