Foundations of object-oriented languages :types and semantics
- 作者: Bruce, Kim B.
- 出版: Cambridge, Mass. : MIT Press ©2002.
- 稽核項: 1 online resource (xx, 384 pages).
- 標題: Object-oriented programming languages. , COMPUTERS , Programming languages (Electronic computers) , Computer Science. , Engineering & Applied Sciences. , Object-oriented programming (Computer science) , Langages orientés objet (Informatique) , Electronic books. , COMPUTERS Programming -- Object Oriented. , Programmation orientée objet (Informatique) , ProgrammingObject Oriented.
- ISBN: 0262525739 , 9780262525732
- ISBN: 026202523X , 9780262025232
- 試查全文@TNUA:
- 附註: Includes bibliographical references (pages 367-377) and index.
- 摘要: In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them. The text begins by analyzing existing object-oriented languages, paying special attention to their type systems and impediments to expressiveness. It then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system similar to those of class-based object-oriented languages in common use. The text offers proof that the type system is sound by showing that the semantics preserves typing information. It concludes with a discussion of desirable features, such as parametric polymorphism and a MyType construct, that are not yet included in most statically typed object-oriented languages.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=70963
- 系統號: 005300642
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
A presentation of the formal underpinnings of object-oriented programming languages. In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This text explores the formal underpinnings of object-oriented languages to help the reader understand the fundamental concepts of these languages and the design decisions behind them. The text begins by analyzing existing object-oriented languages, paying special attention to their type systems and impediments to expressiveness. It then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, with a simple type system similar to those of class-based object-oriented languages in common use. The text offers proof that the type system is sound by showing that the semantics preserves typing information. It concludes with a discussion of desirable features, such as parametric polymorphism and a MyType construct, that are not yet included in most statically typed object-oriented languages.
來源: Google Book
來源: Google Book
評分