Difference between revisions of "Publications/verna.08.jucs"
From LRDE
Line 13: | Line 13: | ||
| type = article |
| type = article |
||
| id = verna.08.jucs |
| id = verna.08.jucs |
||
+ | | identifier = doi:10.3217/jucs-014-20-3389 |
||
| bibtex = |
| bibtex = |
||
@Article<nowiki>{</nowiki> verna.08.jucs, |
@Article<nowiki>{</nowiki> verna.08.jucs, |
||
Line 19: | Line 20: | ||
(extended version)<nowiki>}</nowiki>, |
(extended version)<nowiki>}</nowiki>, |
||
journal = <nowiki>{</nowiki>Journal of Universal Computer Science<nowiki>}</nowiki>, |
journal = <nowiki>{</nowiki>Journal of Universal Computer Science<nowiki>}</nowiki>, |
||
+ | doi = <nowiki>{</nowiki>10.3217/jucs-014-20-3389<nowiki>}</nowiki>, |
||
year = 2008, |
year = 2008, |
||
volume = 14, |
volume = 14, |
Latest revision as of 16:51, 18 June 2019
- Authors
- Didier Verna
- Journal
- Journal of Universal Computer Science
- Type
- article
- Projects
- Climb
- Keywords
- Software engineering
- Date
- 2008-01-01
Abstract
Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of inheritance, or the need for privileged access to the internal representation of objects. Most of these problems occur in the context of statically typed languages that lack multi-methods (polymorphism on multiple arguments). The purpose of this paper is twofold: first, we show why some of these problems are either non-issues, or easily solved in Common Lisp. Then, we demonstrate how the Common Lisp Object System (CLOS) allows us not only to implement binary methods in a straightforward way, but also to support the concept directly, and even enforce it at different levels (usage and implementation).
Bibtex (lrde.bib)
@Article{ verna.08.jucs, author = {Didier Verna}, title = {Binary Methods Programming: the {CLOS} Perspective (extended version)}, journal = {Journal of Universal Computer Science}, doi = {10.3217/jucs-014-20-3389}, year = 2008, volume = 14, number = 20, pages = {3389--3411}, abstract = {Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of inheritance, or the need for privileged access to the internal representation of objects. Most of these problems occur in the context of statically typed languages that lack multi-methods (polymorphism on multiple arguments). The purpose of this paper is twofold: first, we show why some of these problems are either non-issues, or easily solved in Common Lisp. Then, we demonstrate how the Common Lisp Object System (CLOS) allows us not only to implement binary methods in a straightforward way, but also to support the concept directly, and even enforce it at different levels (usage and implementation).} }