Theoretical Aspects of Object-oriented Programming

Released on by Carl A. Gunter
preview-18

  • Theoretical Aspects of Object-oriented Programming Book Detail

  • Author : Carl A. Gunter
  • Release Date : 1994
  • Publisher : MIT Press
  • Genre : Computers
  • Pages : 568
  • ISBN 13 : 9780262071550
  • File Size : 12,12 MB
DOWNLOAD BOOK

Theoretical Aspects of Object-oriented Programming by Carl A. Gunter PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Theoretical Aspects of Object-oriented Programming books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

A Theory of Objects

A Theory of Objects

File Size : 67,67 MB
Total View : 4997 Views
DOWNLOAD

By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, a