Synopsis
Object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java are immensely popular with academics and industry professionals. This book provides a comprehensive description of the foundations of statically typed class-based object-oriented programm-ing languages. It begins by analyzing existing object-oriented languages, paying special attention to their type systems and impedi-ments to expressiveness. The text then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, a simple type system which is similar to systems of class-based object-oriented languages in common use. The text concludes with a discussion of features, such as parametric polymorphism and MyType construct, which are not yet included in most statically typed object-oriented languages. This book, which treats a subject of current interest, should prove highly useful to students of computer science and IT as well as to professionals in the field.
"synopsis" may belong to another edition of this title.
