Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing) - Hardcover

 
9780262071550: Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)
Hardcover
ISBN 10: 026207155X ISBN 13: 9780262071550
Verlag: MIT Press, 1994

Inhaltsangabe

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.The fifteen chapters are divided into five parts: Objects and Subtypes, Type Inference, Coherence, Record Calculi, and Inheritance. The chapters are organized approximately in order of increasing complexity of the programming language constructs they consider - beginning with variations on Pascal- and Algol-like languages, developing the theory of illustrative record object models, and concluding with research directions for building a more comprehensive theory of object-oriented programming languages.Part I discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a subtype. Parts II-IV are concerned with the "record model" of object-oriented languages. Specifically, these chapters discuss static and dynamic semantics of languages with simple object models that include a type or class hierarchy but do not explicitly provide what is often called dynamic binding. Part V considers extensions and modifications to record object models, moving closer to the full complexity of practical object-oriented languages.Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania. John C. Mitchell is Professor in the Department of Computer Science at Stanford University.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.


John C. Mitchell is Professor in the Department of Computer Science at Stanford University.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
MIT Press
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
026207155X
ISBN 13 
9780262071550
Einband
Tapa dura
Anzahl der Seiten
560
Herausgeber
Gunter Carl A., Mitchell John C.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780262526326: Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

Vorgestellte Ausgabe

ISBN 10:  0262526328 ISBN 13:  9780262526326
Verlag: MIT Press, 1994
Softcover