skip to content
A theory of objects Preview this item
ClosePreview this item

A theory of objects

Author: Martín Abadi; Luca Cardelli
Publisher: New York [u.a.] : Springer, 1998.
Series: Monographs in computer science.
Edition/Format:   Print book : English : Corr 2. printView all editions and formats
Summary:

By developing object calculi in which objects are treated as primitives, this title explains both the semantics of objects and their typing rules, and demonstrates how to develop various important  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: Martín Abadi; Luca Cardelli
ISBN: 0387947752 9780387947754
OCLC Number: 245793867
Notes: Literaturverz. S. [383] - 390.
Description: XIII, 396 S : graph. Darst.
Contents: Prologue.- Review: Object-Oriented Features.- 1 Object Orientation.- 1.1 Objects.- 1.2 Reuse.- 1.3 Classifying Features.- 2 Class-Based Languages.- 2.1 Classes and Objects.- 2.2 Method Lookup.- 2.3 Subclasses and Inheritance.- 2.4 Subsumption and Dynamic Dispatch.- 2.5 Type Information, Lost and Found.- 2.6 Covariance, Contravariance, and Invariance.- 2.7 Method Specialization.- 2.8 Self Type Specialization.- 3 Advanced Class-Based Features.- 3.1 Object Types.- 3.2 Distinguishing Subclassing from Subtyping.- 3.3 Type Parameters.- 3.4 Subclassing without Subtyping.- 3.5 Object Protocols.- 4 Object-Based Languages.- 4.1 Objects without Classes.- 4.2 Prototypes and Clones.- 4.3 Inheritance by Embedding and by Delegation.- 4.4 Embedding.- 4.5 Delegation.- 4.6 Embedding versus Delegation.- 4.7 Dynamic Inheritance and Mode-Switching.- 4.8 Traits: From Prototypes back to Classes?.- 4.9 Types for Object-Based Languages.- 5 Modeling Object-Oriented Languages.- 5.1 Reduction to Basic Mechanisms.- 5.2 The Role of Method Update.- 5.3 The Scope of this Book.- I: Untyped and First-Order Calculi.- 6 Untyped Calculi.- 6.1 Object Primitives.- 6.2 The ?-Calculus.- 6.3 Functions as Objects.- 6.4 Fixpoints.- 6.5 Examples.- 6.6 Traits, Classes, and Inheritance.- 6.7 Interpretations of Objects.- 7 First-Order Calculi.- 7.1 Formal Systems.- 7.2 The Object Fragment.- 7.3 Standard First-Order Fragments.- 7.4 Examples.- 7.5 Some Properties of Ob1.- 7.6 First-Order Equational Theories.- 7.7 Functions and Fixpoints.- 8 Subtyping.- 8.1 Subtyping.- 8.2 Examples.- 8.3 Some Properties of Ob1.- 8.4 First-Order Equational Theories with Subtyping.- 8.5 Classes and Inheritance.- 8.6 Objects versus Records.- 8.7 Variance Annotations.- 9 Recursion.- 9.1 Recursion.- 9.2 Recursion and Subsumption.- 9.3 Some Properties of Ob1 Higher-Order Calculi.- 20 A Higher-Order Calculus.- 20.1 Syntax of Ob?
Series Title: Monographs in computer science.
Responsibility: Martín Abadi ; Luca Cardelli.

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


Primary Entity

<http://www.worldcat.org/oclc/245793867> # A theory of objects
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "245793867" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20699526#Place/new_york_u_a> ; # New York u.a.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://dewey.info/class/005.131/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/20699526#Topic/elaboratori_elettronici_programmazione_teorie> ; # Elaboratori elettronici--programmazione--teorie
   schema:about <http://experiment.worldcat.org/entity/work/data/20699526#Topic/oggetti_informatica> ; # Oggetti--informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/20699526#Topic/objektorientierte_programmierung> ; # Objektorientierte Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/20699526#Topic/object_oriented_programming_computer_science> ; # Object-oriented programming (Computer science)
   schema:bookEdition "Corr 2. print." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/71562846> ; # Luca Cardelli
   schema:creator <http://viaf.org/viaf/29701841> ; # Martín Abadi
   schema:datePublished "1998" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/20699526> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20699526#Series/monographs_in_computer_science> ; # Monographs in computer science.
   schema:name "A theory of objects" ;
   schema:productID "245793867" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/245793867#PublicationEvent/new_york_u_a_springer_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/20699526#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9780387947754> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/245793867> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/20699526#Series/monographs_in_computer_science> # Monographs in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/245793867> ; # A theory of objects
   schema:name "Monographs in computer science." ;
   schema:name "Monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/20699526#Topic/elaboratori_elettronici_programmazione_teorie> # Elaboratori elettronici--programmazione--teorie
    a schema:Intangible ;
   schema:name "Elaboratori elettronici--programmazione--teorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/20699526#Topic/object_oriented_programming_computer_science> # Object-oriented programming (Computer science)
    a schema:Intangible ;
   schema:name "Object-oriented programming (Computer science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/20699526#Topic/objektorientierte_programmierung> # Objektorientierte Programmierung
    a schema:Intangible ;
   schema:name "Objektorientierte Programmierung" ;
    .

<http://experiment.worldcat.org/entity/work/data/20699526#Topic/oggetti_informatica> # Oggetti--informatica
    a schema:Intangible ;
   schema:name "Oggetti--informatica" ;
    .

<http://viaf.org/viaf/29701841> # Martín Abadi
    a schema:Person ;
   schema:familyName "Abadi" ;
   schema:givenName "Martín" ;
   schema:name "Martín Abadi" ;
    .

<http://viaf.org/viaf/71562846> # Luca Cardelli
    a schema:Person ;
   schema:familyName "Cardelli" ;
   schema:givenName "Luca" ;
   schema:name "Luca Cardelli" ;
    .

<http://worldcat.org/isbn/9780387947754>
    a schema:ProductModel ;
   schema:isbn "0387947752" ;
   schema:isbn "9780387947754" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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