Formalising sharing mechanisms in object-oriented paradigm

Autores
Argarañaz, Verónica; Baum, Gabriel; Pons, Claudia Fabiana; Presso, María José; Prieto, Máximo; Romero, Natalia
Año de publicación
1997
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.\nWe 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.\nIn 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.\nWe 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.
Eje: Ingeniería de software. Bases de datos
Materia
Ciencias de la Computación
Formalising Sharing Mechanisms
Object-Oriented Paradigm
SOFTWARE ENGINEERING
base de datos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
CIC Digital (CICBA)
Institución
Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
OAI Identificador
oai:digital.cic.gba.gob.ar:11746/4275

id CICBA_ee29557d078f2c06333e6f2fafebea85
oai_identifier_str oai:digital.cic.gba.gob.ar:11746/4275
network_acronym_str CICBA
repository_id_str 9441
network_name_str CIC Digital (CICBA)
spelling Formalising sharing mechanisms in object-oriented paradigmArgarañaz, VerónicaBaum, GabrielPons, Claudia FabianaPresso, María JoséPrieto, MáximoRomero, NataliaCiencias de la ComputaciónFormalising Sharing MechanismsObject-Oriented ParadigmSOFTWARE ENGINEERINGbase de datosSharing 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.\nWe 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.\nIn 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.\nWe 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.Eje: Ingeniería de software. Bases de datos1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttps://digital.cic.gba.gob.ar/handle/11746/4275enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/reponame:CIC Digital (CICBA)instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Airesinstacron:CICBA2025-09-29T13:39:54Zoai:digital.cic.gba.gob.ar:11746/4275Institucionalhttp://digital.cic.gba.gob.arOrganismo científico-tecnológicoNo correspondehttp://digital.cic.gba.gob.ar/oai/snrdmarisa.degiusti@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:94412025-09-29 13:39:54.974CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Airesfalse
dc.title.none.fl_str_mv Formalising sharing mechanisms in object-oriented paradigm
title Formalising sharing mechanisms in object-oriented paradigm
spellingShingle Formalising sharing mechanisms in object-oriented paradigm
Argarañaz, Verónica
Ciencias de la Computación
Formalising Sharing Mechanisms
Object-Oriented Paradigm
SOFTWARE ENGINEERING
base de datos
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
dc.creator.none.fl_str_mv Argarañaz, Verónica
Baum, Gabriel
Pons, Claudia Fabiana
Presso, María José
Prieto, Máximo
Romero, Natalia
author Argarañaz, Verónica
author_facet Argarañaz, Verónica
Baum, Gabriel
Pons, Claudia Fabiana
Presso, María José
Prieto, Máximo
Romero, Natalia
author_role author
author2 Baum, Gabriel
Pons, Claudia Fabiana
Presso, María José
Prieto, Máximo
Romero, Natalia
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Ciencias de la Computación
Formalising Sharing Mechanisms
Object-Oriented Paradigm
SOFTWARE ENGINEERING
base de datos
topic Ciencias de la Computación
Formalising Sharing Mechanisms
Object-Oriented Paradigm
SOFTWARE ENGINEERING
base de datos
dc.description.none.fl_txt_mv 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.\nWe 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.\nIn 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.\nWe 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.
Eje: Ingeniería de software. Bases de datos
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.\nWe 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.\nIn 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.\nWe 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.
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv https://digital.cic.gba.gob.ar/handle/11746/4275
url https://digital.cic.gba.gob.ar/handle/11746/4275
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:CIC Digital (CICBA)
instname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron:CICBA
reponame_str CIC Digital (CICBA)
collection CIC Digital (CICBA)
instname_str Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
instacron_str CICBA
institution CICBA
repository.name.fl_str_mv CIC Digital (CICBA) - Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
repository.mail.fl_str_mv marisa.degiusti@sedici.unlp.edu.ar
_version_ 1844618585425575936
score 13.070432