Theoretical aspects of object oriented programming

9.02  ·  8,732 ratings  ·  794 reviews
Posted on by
theoretical aspects of object oriented programming

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design by John C. Mitchell

This book brings together the most important contributions to the theory of object-oriented programming languages, 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.

Foundations of Computing series
File Name: theoretical aspects of object oriented programming.zip
Size: 73769 Kb
Published 01.05.2019

Object-Oriented Programming

From Foundations of Computing.
John C. Mitchell

Theoretical aspects of object oriented programming

Skip to search form Skip to main content. Gunter and John C. Gunter , John C. Mitchell Published DOI: Reynolds using category theory to design implicit conversions and generic operators, John C. Part 2 Type inference: type inference for records in a natural extension of ML, Didier Remy type inference for objects with instance variables and inheritance, Mitchell Wand static type inference for parametric classes, Atsushi Ohori and Peter Buneman.

Carl A. John C. Part 1 Objects and subtypes: user-defined types and procedural data structures as complementary approaches to data abstraction, John C. Reynolds; using category theory to design implicit conversions and generic operators, John C. Part 2 Type inference: type inference for records in a natural extension of ML, Didier Remy; type inference for objects with instance variables and inheritance, Mitchell Wand; static type inference for parametric classes, Atsushi Ohori and Peter Buneman. Part 3 Coherence: a modest model of records, inheritance, and bounded quantification, Kim B.

Kundrecensioner

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

Goodreads helps you keep track of books you want to read. Want to Read saving…. Want to Read Currently Reading Read. Other editions. Enlarge cover. Error rating book. Refresh and try again.

0 thoughts on “Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design by John C. Mitchell

Leave a Reply