Design, Programming, Language, types, ObjectOriented, Foundations, Theoretical, Aspects, Computing, Semantics

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)

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.









List Price: $ 75.00



Price: $ 20.84









More Programming Products

Other posts like this, by keyword:

Design:

Biography Books blog ...
Non Fiction Books blog ...
Children Books blog ...
Water Sports Books ...
Coaching Books blog ...
Relationships Books blog ...
Food Lit Books ...
United States Books blog ...
Asia Books blog ...
Needlepoint Books blog ...
Programming:

Mothers and Children Books ...
Design Books blog ...
Biography Books blog ...
Health Books blog ...
Biology Books blog ...
Engineering Books blog ...
Erotica Books ...
Self Help Books blog ...
Health Books blog ...
Law Books blog ...
Language:

Europe Books blog ...
Cartooning Books ...
Mystery Books blog ...
Sports Books blog ...
Gay and Lesbian Books ...
Papercrafts Books ...
Bibles Books ...
Entertaining Books blog ...
Knitting Books blog ...
Reference Books ...
types:

Sports Books blog ...
Field Guides Books ...
ObjectOriented:

Science Fiction Books blog ...
Foundations:

Contemporary Books blog ...
Audiobooks Books blog ...
Classics Books blog ...
Classics Books blog ...
Self Help Books blog ...
Crafts Books blog ...
Galileo, Courtier: The Practice of Science in the Culture of Absolutism (Science and Its Conceptual Foundations series) ...
The Foundations of Early Modern Europe, 1460-1559 (Second Edition) (The Norton History of Modern Europe) ...
Theoretical:

Medical Books blog ...
Bargain Books ...
Aspects:

Social Issues Books ...
Entertainment Books ...
Medical Books blog ...
Single Women Books ...
Classics Books blog ...
Aspects of the Novel ...
Vitamins in Animal Nutrition: Comparative Aspects to Human Nutrition (Animal Feeding and Nutrition) ...
Computing:

Current Events Books ...
Coaching Books blog ...
Comic Art Books ...
The Elements of Computing Systems: Building a Modern Computer from First Principles ...
Cloud Computing SaaS And Web Applications Specialist Level Complete Certification Kit – Software As A Service Study Guide Book And Onl ...
Semantics: