Foundations of object-oriented languages : (Record no. 72890)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02827nam a2200469 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267232 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204605.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151229s2002 mau ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262255851 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | hc. : alk. paper |
| 082 00 - CLASSIFICATION NUMBER | |
| Call Number | 005.1/17 |
| 100 1# - AUTHOR NAME | |
| Author | Bruce, Kim B., |
| 245 10 - TITLE STATEMENT | |
| Title | Foundations of object-oriented languages : |
| Sub Title | types and semantics / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (xx, 384 pages). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | c2002. |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [2002] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/29/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Object-oriented programming languages. |
No items available.