Formalising sharing mechanisms in object-oriented paradigm

Sharing of behavior is one of the most important features in the Object-Oriented paradigm. The two classical organisations of sharing are classes and prototypes, raising two different models and two families of object oriented languages. It has been largely discussed which of these two models is the...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Argarañaz, Verónica, Baum, Gabriel Alfredo, Pons, Claudia, Presso, María José, Prieto, Máximo, Romero, Natalia
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1997
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
Formalising Sharing Mechanisms
Object-Oriented Paradigm
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23950
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23950
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
Formalising Sharing Mechanisms
Object-Oriented Paradigm
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
Formalising Sharing Mechanisms
Object-Oriented Paradigm
Argarañaz, Verónica
Baum, Gabriel Alfredo
Pons, Claudia
Presso, María José
Prieto, Máximo
Romero, Natalia
Formalising sharing mechanisms in object-oriented paradigm
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
base de datos
Formalising Sharing Mechanisms
Object-Oriented Paradigm
description Sharing of behavior is one of the most important features in the Object-Oriented paradigm. The two classical organisations of sharing are classes and prototypes, raising two different models and two families of object oriented languages. It has been largely discussed which of these two models is the most basic, giving the essence of the Object-Oriented paradigm. We claim that sharing schemes can be constructed in a more basic model with just objects and messages. We analysed the features this model must express, specially the ability to share behavior. Abadi and Cardelli have defined a calculus of objects which represents the basic elements. They describe how to build the concepts of class based languages in their formalism. In this work we show how to express delegation between concrete objects in the calculus. The key advantage of our contribution is that by providing per object delegation we can represent every sharing scheme possible in a prototype environment, thus completing the conviction that all the usual constructs found in OO can be built using only objects and messages. We have defined sharing constructs for an object based (prototypes) high level language, and their translation into the formal calculus. This shows how constructs similar to those appearing in usual programming languages can be written in the formal calculus, and allows writing programs in the formalism without requiring understanding details about it. There are primitives to express the sharing relationship in object creation, to change that relationship and to reference the donor of an object.
format Objeto de conferencia
Objeto de conferencia
author Argarañaz, Verónica
Baum, Gabriel Alfredo
Pons, Claudia
Presso, María José
Prieto, Máximo
Romero, Natalia
author_facet Argarañaz, Verónica
Baum, Gabriel Alfredo
Pons, Claudia
Presso, María José
Prieto, Máximo
Romero, Natalia
author_sort Argarañaz, Verónica
title Formalising sharing mechanisms in object-oriented paradigm
title_short Formalising sharing mechanisms in object-oriented paradigm
title_full Formalising sharing mechanisms in object-oriented paradigm
title_fullStr Formalising sharing mechanisms in object-oriented paradigm
title_full_unstemmed Formalising sharing mechanisms in object-oriented paradigm
title_sort formalising sharing mechanisms in object-oriented paradigm
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/23950
work_keys_str_mv AT argaranazveronica formalisingsharingmechanismsinobjectorientedparadigm
AT baumgabrielalfredo formalisingsharingmechanismsinobjectorientedparadigm
AT ponsclaudia formalisingsharingmechanismsinobjectorientedparadigm
AT pressomariajose formalisingsharingmechanismsinobjectorientedparadigm
AT prietomaximo formalisingsharingmechanismsinobjectorientedparadigm
AT romeronatalia formalisingsharingmechanismsinobjectorientedparadigm
bdutipo_str Repositorios
_version_ 1764820466424348672

Ejemplares similares