skip to content
Multi-methods in a statically-typed programming language Preview this item
ClosePreview this item
Checking...

Multi-methods in a statically-typed programming language

Author: Warwick B Mugridge; John Hamer; John G Hosking; University of Auckland. Department of Computer Science.
Publisher: Auckland, N.Z. : University of Auckland, Dept. of Computer Science, [1990]
Series: Auckland computer science report, 50.
Edition/Format:   book_printbook : EnglishView all editions and formats
Database:WorldCat
Summary:
Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Warwick B Mugridge; John Hamer; John G Hosking; University of Auckland. Department of Computer Science.
OCLC Number: 33325886
Notes: "November 1990. Revised April 1991"--Page 1.
Description: 18 leaves : illustrations ; 30 cm.
Series Title: Auckland computer science report, 50.
Responsibility: Warwick B. Mugridge, John Hamer, John G. Hosking.

Abstract:

Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of multivariants are provided, based on the generation of despatching variants. Three issues arise with despatching: redundancy, ambiguity, and exhaustiveness of a (partially-ordered) set of variants with respect to a function call. It is shown that the approach taken here is consistent with separate compilation."

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/33325886>
library:oclcnum"33325886"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
<http://id.worldcat.org/fast/1042804>
rdf:typeschema:Intangible
schema:name"Object-oriented programming (Computer science)"@en
schema:about
schema:contributor
schema:contributor
<http://viaf.org/viaf/152960487>
rdf:typeschema:Organization
schema:name"University of Auckland. Department of Computer Science."
schema:contributor
schema:creator
schema:datePublished"1990"
schema:description"Abstract: "Multivariant functions in Kea are a statically-typed form of the multi-methods of CLOS (Keene, 1989) but encapsulation is retained. Multivariants permit fine typing distinctions to be made, allow despatching to be avoided in some cases, and may be used to avoid some restrictions of the contravariance rule. Once multivariant functions are introduced by example, the semantics of the despatch of multivariants are provided, based on the generation of despatching variants. Three issues arise with despatching: redundancy, ambiguity, and exhaustiveness of a (partially-ordered) set of variants with respect to a function call. It is shown that the approach taken here is consistent with separate compilation.""@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/37853684>
schema:inLanguage"en"
schema:isPartOf
schema:name"Multi-methods in a statically-typed programming language"@en
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.