Items related to A Theory of Objects (Monographs in Computer Science)

A Theory of Objects (Monographs in Computer Science) - Hardcover

 
9780387947754: A Theory of Objects (Monographs in Computer Science)

Synopsis

By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. An innovative and important approach to the subject for researchers and graduates.

"synopsis" may belong to another edition of this title.

Synopsis

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book, the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi, the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

From the Back Cover

Procedural languages are generally well understood. Their foundations have been cast in calculi that prove useful in matters of implementation and semantics. So far, an analogous understanding has not emerged for object-oriented languages. In this book the authors take a novel approach to the understanding of object-oriented languages by introducing object calculi and developing a theory of objects around them. The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization. Researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1996
  • ISBN 10 0387947752
  • ISBN 13 9780387947754
  • BindingHardcover
  • LanguageEnglish
  • Number of pages409

Buy Used

Condition: Good
Ships from the UK. Former library...
View this item

£ 8 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9781461264453: A Theory of Objects (Monographs in Computer Science)

Featured Edition

ISBN 10:  1461264456 ISBN 13:  9781461264453
Publisher: Springer, 2012
Softcover

Search results for A Theory of Objects (Monographs in Computer Science)

Stock Image

Cardelli, Luca, Abadi, Martin
Published by Springer New York, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
Used Hardcover

Seller: Better World Books Ltd, Dunfermline, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. 1st ed. 1996. Corr. 2nd printing. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP82215352

Contact seller

Buy Used

£ 50.01
Convert currency
Shipping: £ 8
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Abadi, Martin
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
Used Hardcover

Seller: SecondSale, Montgomery, IL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00072343229

Contact seller

Buy Used

£ 95.55
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Abadi, Martin
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
Used Hardcover

Seller: Grumpys Fine Books, Tijeras, NM, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: very good. little wear and tear. Seller Inventory # Grumpy0387947752

Contact seller

Buy Used

£ 93.07
Convert currency
Shipping: £ 3.20
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Abadi, Martin
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover

Seller: Grumpys Fine Books, Tijeras, NM, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: new. Prompt service guaranteed. Seller Inventory # Clean0387947752

Contact seller

Buy New

£ 146.02
Convert currency
Shipping: £ 3.20
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Abadi, Martin; Cardelli, Luca
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover

Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0387947752

Contact seller

Buy New

£ 150.09
Convert currency
Shipping: £ 5.23
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Abadi, Martin; Cardelli, Luca
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Feb2215580174212

Contact seller

Buy New

£ 202.83
Convert currency
Shipping: £ 3
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Martin Abadi|Luca Cardelli
Published by Springer New York, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented programm. Seller Inventory # 5912186

Contact seller

Buy New

£ 180.94
Convert currency
Shipping: £ 41.70
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Abadi, Martin; Cardelli, Luca
Published by Springer, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9780387947754_new

Contact seller

Buy New

£ 212.02
Convert currency
Shipping: £ 11.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Luca Cardelli
Published by Springer New York Aug 1996, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming. 420 pp. Englisch. Seller Inventory # 9780387947754

Contact seller

Buy New

£ 215.74
Convert currency
Shipping: £ 19.58
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Luca Cardelli
Published by Springer New York, 1996
ISBN 10: 0387947752 ISBN 13: 9780387947754
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming. Seller Inventory # 9780387947754

Contact seller

Buy New

£ 218.50
Convert currency
Shipping: £ 27.20
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket