0

My Bag

0.00

Download App

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

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

by Carl A. Gunter and John C. Mitchell

  • ISBN

    :  

    9780262071550

  • Publisher

    :  

    The MIT Press

  • Subject

    :  

    Computer Programming / Software Development, Mathematics, Education

  • Binding

    :  

    HARDCOVER

  • Pages

    :  

    558

  • Year

    :  

    1994

12079.0

14.0% OFF

10387.0

Buy Now

Shipping charges are applicable for books below Rs. 101.0

View Details

(Imported Edition) Estimated Shipping Time : 20-23 Business Days

View Details

Share it on

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

  • Author Biography

    Carl A. Gunter is Professor in the Department of Computer and Information Science at the University of Pennsylvania.

Related Items

-

of

  • OFFER

    Designing Concurrent, Distributed, and Real-Time Applications with UML

    Hassan Gomaa

    Starts At

    6079.0

    7999.0

    24% OFF

  • OFFER

    Developer's Workshop to COM and ATL 3.0

    Andrew W. Troelsen

    Starts At

    1745.0

    2391.0

    27% OFF

  • OFFER

    Java Illuminated: An Active Learning Approach: Brief Edition, Third Edition

    Julie Anderson

    Starts At

    3091.0

    4235.0

    27% OFF

  • OFFER

    Programming and Problem Solving with C++: Comprehensive Edition

    Nell Dale

    Starts At

    4669.0

    6144.0

    24% OFF

  • OFFER

    Programming and Problem Solving with C++: Brief Edition

    Nell Dale

    Starts At

    3290.0

    4508.0

    27% OFF

  • OFFER

    Computing with C# and the .NET Framework

    Arthur Gittleman

    Starts At

    3988.0

    5464.0

    27% OFF

  • OFFER

    Data Structures Using Java

    Duncan A. Buell

    Starts At

    6479.0

    8876.0

    27% OFF

  • OFFER

    Programming With Java: A Multimedia Approach

    Radhika S. Grover

    Starts At

    11218.0

    13850.0

    19% OFF

  • OFFER

    Advanced Programming in JAVA 2, Updated to J2SE6

    K. Somasundaram

    Starts At

    376.0

    495.0

    24% OFF

  • OFFER

    Structured & Object-Oriented Problem Solving Using C++ (3rd Edition)

    Andrew C. Staugaard

    Starts At

    4686.0

    6420.0

    27% OFF

  • OFFER

    Object-Oriented Data Structures Using Java 2nd/ed

    Dale

    Starts At

    2655.0

    3278.0

    19% OFF

  • OFFER

    Exploring New Frontiers of Theoretical Informatics (IFIP Advances in Information and Communication Technology)

    Jean-Jacques L�vy

    Starts At

    11214.0

    12324.0

    9% OFF

© 2016, All rights are reserved.

Subscribe to Our Newsletter

 

Are you sure you want to remove the item from your Bag?

Yes

No

Added to Your Wish List

OK

Your Shopping Bag

- 2 Items

null

Item

Delivery

Unit Price

Quantity

Sub Total

Shipping Charges : 0.0 Total Savings        : Grand Total :

Order Summary