Items related to Theoretical Aspects of Object–Oriented Programming...
Theoretical Aspects of Object–Oriented Programming – Types, Semantics & Language Design: Types, Semantics, and Language Design (Foundations of Computing) - Hardcover
Synopsis
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.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.
"synopsis" may belong to another edition of this title.
Synopsis
Although the theory of object-oriented programming languages is far from complete, this book brings together 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 1 discusses the similarities and differences between "objects" and algebraic-style abstract data types, and the fundamental concept of a sybtype. 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.About the Author
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.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date1994
- ISBN 10 026207155X
- ISBN 13 9780262071550
- BindingHardcover
- Number of pages558
Top Search Results from the AbeBooks Marketplace
Stock Image
Theoretical Aspects of Objectâ"Oriented Programming â" Types, Semantics & Language Design: Types, Semantics, and Language Design (Foundations of Computing)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Theoretical Aspects of Objectâ"Oriented Programming â" Types, Semantics & Language Design: Types, Semantics, and Language Design (Foundations of Computing) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9780262071550
Quantity: 1 available
Stock Image
Theoretical Aspects of Object-Oriented Programming : Types, Semantics, and Language Design
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP29638015
Quantity: 2 available
Stock Image
Theoretical Aspects of Object?Oriented Programming ? Types, Semantics & Language Design: Types, Semantics, and Language Design (Foundations of Computing)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 4 out of 5 stars
hardcover. Condition: USED_VERYGOOD. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Seller Inventory # 6545-9780262071550
Quantity: 1 available
Stock Image
Theoretical Aspects of Object-Oriented Programming : Types, Semantics, and Language Design
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP17517630
Quantity: 1 available
Stock Image
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Seller: Ergodebooks, Houston, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. 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.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. Seller Inventory # SONG026207155X
Quantity: 1 available
Stock Image
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)
Seller: The Book Spot, Sioux Falls, SD, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # Abebooks557984
Quantity: 1 available
Stock Image
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. book. Seller Inventory # D7S9-1-M-026207155X-3
Quantity: 1 available