Theoretical Aspects of Object-Oriented Programming pdf epub mobi txt 电子书 下载 2026
- 计算机科学
- 计算机
- Object-Oriented Programming
- Theory of Programming
- Software Engineering
- Programming Languages
- Formal Methods
- Semantics
- Type Systems
- Abstraction
- Design Patterns
- Concurrency
具体描述
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.
作者简介
Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.
目录信息
Series Forward vii
Introduction 1
I Objects and Subtypes
1. User-Defined Types and Procedural Data Structures as
Complementary Approaches to Data Abstraction 13
John C. Reynolds
2. Using Category Theory to Design Implicit Conversions
and Generic Operators 25
John C. Reynolds
II Type Inference 65
3. Type Inference for Records in a Natural Extension of ML
Didier Re'my 67
4. Type Inference for Objects with Instance Variables and
Inheritance.
Mitchell Wand 97
5. Static Type Inference for Parametric Classes
Atsushi Ohori and Peter Buneman 121
III Coherence 149
6. A Modest Model of Records, Inheritance and
Bounded Quantification
Kim Bruce and Guiseppe Longo 151
7. Inheritance as Implicit Coercion
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter,
and Andre Scedrov 197
8. Coherence of Subsumption, Minimum Typing and
Type-Checking in F<=
Pierre-Louis Curien and Giorgio Ghelli 247
IV Record Calculi 293
9. Operations on Records
Luca Cardelli and John C. Mitchell 295
10. Typing Record Concatenation for Free
Didier Re'my 351
11. Extensible Records in a Pure Calculus of Subtyping
Luca Cardelli 373
12. Bounded Quantification is Undecidable
Benjamin C. Pierce 427
V Inheritance 461
13. Two Semantic Models of Object-Oriented Languages
Sam Kamin and Uday Reddy 463
14. Inheritance is Not Subtyping
William R. Cook, Walter L. Hill and Peter S. Canning 497
15. Toward a Typed Foundation for Method Specialization
and Inheritance
John C. Mitchell 519
Contributors 547
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有