Foundations of Object-Oriented Languages: Types and Semantics

Kim B. Bruce

Verlag: PHI Learning, 2006
ISBN 10: 8120324560 / ISBN 13: 9788120324565
Neu / Softcover / Anzahl: > 20
Verkäufer BookVistas (New Delhi, DELHI, Indien)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen

Über dieses Buch

Leider ist dieses Exemplar nicht mehr verfügbar. Hier sehen Sie die besten Ergebnisse zur Suche nach Foundations of Object-Oriented Languages: Types and Semantics.

Beschreibung:

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. CONTENTS: PART ONE: Type Problems in Object-Oriented Languages Introduction Fundamental Concepts of Object-Oriented Languages Type Problems in Object-Oriented Languages Adding Expressiveness to Object-Oriented Languages Understanding Subtypes Type Restrictions on Subclasses Varieties of Object-Oriented Programming Languages PART TWO: Foundations: The Lambda Calculus PART THREE: Formal Descriptions of Object-Oriented Languages SOOL, a Simple Object-Oriented Language A Simple Translational Semantics of Objects and Classes Improved Semantics for Classes SOOL`s Type System is Safe (and Sound) Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance PART FOUR: Extending Simple Object-Oriented Languages Adding Bounded Polymorphism to SOOL Adding MyType to Object-Oriented Programming Languages Match-Bounded Polymorphism Simplifying: Dropping Subtyping for Matching Bibliography Index Printed Pages: 404. Buchnummer des Verkäufers 11631

Über diesen Titel:

Inhaltsangabe: 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: Foundations of Object-Oriented Languages: ...
Verlag: PHI Learning
Erscheinungsdatum: 2006
Einband: Softcover
Zustand: New
Auflage: First edition.

Beste Suchergebnisse beim ZVAB

1.

Mitchell, John C. (Ed.)
ISBN 10: 026207155X ISBN 13: 9780262071550
Gebraucht Hardcover Anzahl: 1
Anbieter
Kloof Booksellers & Scientia Verlag
(Amsterdam, Niederlande)
Bewertung
[?]

Buchbeschreibung Cambridge, MA:. The MIT Press, 1994. Hardcover. 558 pp.- 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. English text. Condition : as new. Condition : as new copyISBN 9780262071550[KEYWORDS: computer studies*, Object-oriented programming. Artikel-Nr. 263683

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Gebraucht kaufen
EUR 29,00
Währung umrechnen

In den Warenkorb

Versand: EUR 9,00
Von Niederlande nach USA
Versandziele, Kosten & Dauer