|
|
Sold Out
Book Categories |
| Preface | ||
| Prologue | 1 | |
| 1 | Object Orientation | 7 |
| 2 | Class-Based Languages | 11 |
| 3 | Advanced Class-Based Features | 25 |
| 4 | Object-Based Languages | 35 |
| 5 | Modeling Object-Oriented Languages | 51 |
| 6 | Untyped Calculi | 57 |
| 7 | First-Order Calculi | 79 |
| 8 | Subtyping | 93 |
| 9 | Recursion | 113 |
| 10 | Untyped Imperative Calculi | 129 |
| 11 | First-Order Imperative Calculi | 141 |
| 12 | A First-Order Language | 153 |
| 13 | Second-Order Calculi | 169 |
| 14 | A Semantics | 185 |
| 15 | Definable Covariant Self Types | 201 |
| 16 | Primitive Covariant Self Types | 221 |
| 17 | Imperative Calculi with Self Types | 241 |
| 18 | Interpretations of Object Calculi | 257 |
| 19 | A Second-Order Language | 273 |
| 20 | A Higher-Order Calculus | 287 |
| 21 | A Language with Matching | 305 |
| Epilogue | 325 | |
| App. A | Fragments | 329 |
| App. B | Systems | 337 |
| App. C | Proofs | 347 |
| List of Figures | 363 | |
| List of Tables | 365 | |
| List of Notations | 371 | |
| List of Languages | 381 | |
| Bibliography | 383 | |
| Index | 391 |
| Price | Condition | Delivery | Seller | Action |
| $151.98 | Digital |
| WonderClub |
Dan Kliber
reviewed A Theory of Objects on November 03, 2017
A Theory of Objects
This book is upside down. What is important is given scant coverage, the rest has page after page of babel. It is out of date when I read part of it in 2003 and even more out of date now.
For me this book goes into the dispose pile in the garage.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
A Theory of Objects
X
This Item is in Your Inventory
A Theory of Objects
X
You must be logged in to review the productsX
X
X
Add A Theory of Objects, 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 progra, A Theory of Objects to the inventory that you are selling on WonderClubX
X
Add A Theory of Objects, 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 progra, A Theory of Objects to your collection on WonderClub |
