Metaphoric polymorphism: Taking code reuse one step further

Ran Rinat; Menachem Magidor

doi:10.1007/bfb0053073

Metaphoric polymorphism: Taking code reuse one step further

Ran Rinat, Menachem Magidor

Einstein Institute of Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

We propose two new constructs for object oriented programming that significantly increase polymorphism. Consequently, code may be reused in ways unaccounted for by existing machinery. These constructs of type correspondence and partial inheritance are motivated from metaphors of natural language and thought. They establish correspondences between types non of which is (necessarily) a subtype of the other. As a result, methods may operate on objects - and may receive arguments - of types different than the ones originally intended for. The semantics of the proposed constructs generalizes that of ordinary inheritance, thereby establishing the latter as a special case. We show that the incorporation of these constructs in programming supports the process of natural software evolution and contributes to a better conceptual organization of the type system.

Original language	English
Title of host publication	ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings
Editors	Pierre Cointe, Pierre Cointe
Publisher	Springer Verlag
Pages	449-471
Number of pages	23
ISBN (Print)	9783540614395, 9783540614395
DOIs	https://doi.org/10.1007/bfb0053073
State	Published - 1996
Event	10th European Conference on Object-Oriented Programming, ECOOP 1996 - Linz, Austria Duration: 8 Jul 1996 → 12 Jul 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1098
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th European Conference on Object-Oriented Programming, ECOOP 1996
Country/Territory	Austria
City	Linz
Period	8/07/96 → 12/07/96

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.

Access to Document

10.1007/bfb0053073

Cite this

Rinat, R., & Magidor, M. (1996). Metaphoric polymorphism: Taking code reuse one step further. In P. Cointe, & P. Cointe (Eds.), ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings (pp. 449-471). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1098). Springer Verlag. https://doi.org/10.1007/bfb0053073

Rinat, Ran ; Magidor, Menachem. / Metaphoric polymorphism : Taking code reuse one step further. ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings. editor / Pierre Cointe ; Pierre Cointe. Springer Verlag, 1996. pp. 449-471 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e60ca6fc194546148ee95725c3ffa985,

title = "Metaphoric polymorphism: Taking code reuse one step further",

abstract = "We propose two new constructs for object oriented programming that significantly increase polymorphism. Consequently, code may be reused in ways unaccounted for by existing machinery. These constructs of type correspondence and partial inheritance are motivated from metaphors of natural language and thought. They establish correspondences between types non of which is (necessarily) a subtype of the other. As a result, methods may operate on objects - and may receive arguments - of types different than the ones originally intended for. The semantics of the proposed constructs generalizes that of ordinary inheritance, thereby establishing the latter as a special case. We show that the incorporation of these constructs in programming supports the process of natural software evolution and contributes to a better conceptual organization of the type system.",

author = "Ran Rinat and Menachem Magidor",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 10th European Conference on Object-Oriented Programming, ECOOP 1996 ; Conference date: 08-07-1996 Through 12-07-1996",

year = "1996",

doi = "10.1007/bfb0053073",

language = "אנגלית",

isbn = "9783540614395",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "449--471",

editor = "Pierre Cointe and Pierre Cointe",

booktitle = "ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings",

address = "גרמניה",

}

Rinat, R & Magidor, M 1996, Metaphoric polymorphism: Taking code reuse one step further. in P Cointe & P Cointe (eds), ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1098, Springer Verlag, pp. 449-471, 10th European Conference on Object-Oriented Programming, ECOOP 1996, Linz, Austria, 8/07/96. https://doi.org/10.1007/bfb0053073

Metaphoric polymorphism: Taking code reuse one step further. / Rinat, Ran; Magidor, Menachem.
ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings. ed. / Pierre Cointe; Pierre Cointe. Springer Verlag, 1996. p. 449-471 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1098).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Metaphoric polymorphism

T2 - 10th European Conference on Object-Oriented Programming, ECOOP 1996

AU - Rinat, Ran

AU - Magidor, Menachem

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - We propose two new constructs for object oriented programming that significantly increase polymorphism. Consequently, code may be reused in ways unaccounted for by existing machinery. These constructs of type correspondence and partial inheritance are motivated from metaphors of natural language and thought. They establish correspondences between types non of which is (necessarily) a subtype of the other. As a result, methods may operate on objects - and may receive arguments - of types different than the ones originally intended for. The semantics of the proposed constructs generalizes that of ordinary inheritance, thereby establishing the latter as a special case. We show that the incorporation of these constructs in programming supports the process of natural software evolution and contributes to a better conceptual organization of the type system.

AB - We propose two new constructs for object oriented programming that significantly increase polymorphism. Consequently, code may be reused in ways unaccounted for by existing machinery. These constructs of type correspondence and partial inheritance are motivated from metaphors of natural language and thought. They establish correspondences between types non of which is (necessarily) a subtype of the other. As a result, methods may operate on objects - and may receive arguments - of types different than the ones originally intended for. The semantics of the proposed constructs generalizes that of ordinary inheritance, thereby establishing the latter as a special case. We show that the incorporation of these constructs in programming supports the process of natural software evolution and contributes to a better conceptual organization of the type system.

UR - http://www.scopus.com/inward/record.url?scp=84955593342&partnerID=8YFLogxK

U2 - 10.1007/bfb0053073

DO - 10.1007/bfb0053073

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84955593342

SN - 9783540614395

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 449

EP - 471

BT - ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings

A2 - Cointe, Pierre

PB - Springer Verlag

Y2 - 8 July 1996 through 12 July 1996

ER -

Rinat R, Magidor M. Metaphoric polymorphism: Taking code reuse one step further. In Cointe P, Cointe P, editors, ECOOP 1996 – Object-Oriented Programming - 10th European Conference, Proceedings. Springer Verlag. 1996. p. 449-471. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0053073

Metaphoric polymorphism: Taking code reuse one step further

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this