The Interpretation Of Object Oriented Programming Languages

This comprehensive examination of the main approaches to object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and compared in terms of their semantic concepts. This book provides a unique overview of the main approaches to object-oriented languages. Exercises of varying length, some of which can be extended into mini-projects are included at the end of each chapter. This book can be used as part of courses on Comparative Programming Languages or Programming Language Semantics at Second or Third Year Undergraduate Level. Some understanding of programming language concepts is required.

While there are many books on particular languages, there are very few that deal with all aspects of object-oriented programming languages. The Interpretation of Object-Oriented Programming Languages provides a comprehensive treatment of the main approaches to object-oriented languages, including class-based, prototype and actor languages. This revised and extended edition includes a completely new chapter on Microsoft's new C# language, a language specifically designed for modern, component-oriented, networked applications. The chapter covers all aspects of C# that relate to object-oriented programming. It now also includes a new appendix on BeCecil, a kernel language that can implement object-oriented constructs within a single framework.

This comprehensive examination of the main approaches to object-oriented language explains key features of the languages in use today. Class-based, prototypes and Actor languages are all examined and compared in terms of their semantic concepts. This book provides a unique overview of the main approaches to object-oriented languages. Exercises of varying length, some of which can be extended into mini-projects are included at the end of each chapter. This book can be used as part of courses on Comparative Programming Languages or Programming Language Semantics at Second or Third Year Undergraduate Level. Some understanding of programming language concepts is required.

A presentation of the formal underpinnings of object-oriented programming languages.

The aim of this book is to bring together the various strands of the subject and give a comprehensive presentation of its history, fundamentals and applications.

This book develops the object-oriented programming skills of experienced programmers (at the Junior, Senior or above level) by teaching you how to use Java 2 (the latest release of Sun's Java platform), and providing a complete understanding of the philosophy behind Java 2. It starts out covering the language-independent concepts that are at the heart of the Java world, and then moves on to introducing Java through several example programs. Following this is an in-depth discussion on inheritance and polymorphism. Finally, the book concludes with material on important features of Java that are not object-oriented. Features Teaches students why the Java language works the way it does, as opposed to simply how it works NEW! Chapter on Network Programming NEW! Chapter on Java 2 - the most recent version of Java NEW! Material on pure polymorphism NEW! Appendices on Java Operators, Java Escape Characters, Java API, and Java Syntax 0201612739B04062001

Covering the latest in Java technologies, Object-Oriented Programming and Java teaches the subject in a systematic, fundamentals-first approach. It begins with the description of real-world object interaction scenarios and explains how they can be translated, represented and executed using object-oriented programming paradigm. By establishing a solid foundation in the understanding of object-oriented programming concepts and their applications, this book provides readers with the pre-requisites for writing proper object-oriented programs using Java.

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.