A Theory of Objects

Передня обкладинка
Springer Science & Business Media, 8 вер. 2012 р. - 396 стор.
0 Рецензії/відгуки
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.
 

Відгуки відвідувачів - Написати рецензію

Не знайдено жодних рецензій.

Зміст

This book develops a theory of objects as a foundation for objectoriented languages
2
S 5
5
Review T 1 Object Orientation
11
each chapter should
12
Advanced ClassBased Features
25
ObjectBased Languages
35
Modeling ObjectOriented Languages 51
50
6 Untyped Calculi
57
Part III
201
Primitive Covariant Self Types 221
220
Imperative Calculi with Self Types
241
Interpretations of Object Calculi
257
A SecondOrder Language
273
A HigherOrder Calculus
287
A Language with Matching
305
EPILOGUE
325

FirstOrder Calculi
79
Subtyping
93
Recursion
113
Untyped Imperative Calculi
129
FirstOrder Imperative Calculi 141
140
A FirstOrder Language
153
13
162
SecondOrder Calculi 169
167
A Semantics
185
A Fragments 329
328
B Systems
337
Proofs 347
346
LIST OF FIGURES
362
LIST OF NOTATIONS
371
13 SecondOrder Calculi
376
LIST OF LANGUAGES
381
INDEX
391
Авторські права

Інші видання - Показати все

Загальні терміни та фрази

Бібліографічна інформація