A Theory of Objects by Martin Abadi

  •
1 1

A Theory of Objects by Martin Abadi

Checking stock...
Checking stock...

Teil der Monographs In Computer Science-Serie

Zusammenfassung

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 concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, and more.

The feel-good place to buy books
  • Free delivery in the UK
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • B Corp - kinder to people and planet
  • Buy-back with World of Books - Sell Your Books

A Theory of Objects by Martin Abadi

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.

You might also like

SKU Nicht verfügbar
ISBN 13 9780387947754
ISBN 10 0387947752
Titel A Theory of Objects
Autor Martin Abadi
Serie Monographs In Computer Science
Buchzustand Nicht verfügbar
Verlag Springer-Verlag New York Inc.
Erscheinungsjahr 1996-08-09
Seitenanzahl 396
Hinweis auf dem Einband Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.