Download A theory of Objects by Martín Abadi, Luca Cardelli PDF

By Martín Abadi, Luca Cardelli

Procedural languages are usually good understood and their formal foundations forged within the different types of a number of lambda-calculi. For object-oriented languages but the state of affairs isn't really as straight forward. during this booklet the authors suggest and strengthen a special strategy by means of constructing item calculi during which items are handled as primitives. utilizing item calculi, the authors may be able to clarify either the semantics of items and their typing ideas and exhibit the way to strengthen the entire most vital recommendations of object-oriented programming languages: self, dynamic dispatch, sessions, inheritance, secure and personal tools, prototyping, subtyping, covariance and contravariance, and technique specialization. Many researchers and graduate scholars will locate this a huge improvement of the underpinnings of object-oriented programming.

Show description

Read or Download A theory of Objects PDF

Best object-oriented software design books

Project Management with the IBM(R) Rational Unified Process(R): Lessons From The Trenches

This can be the definitive advisor to coping with software program improvement tasks with the IBM Rational Unified technique (RUPR). Drawing on his broad adventure dealing with tasks with the RUP, R. Dennis Gibbs covers the full improvement lifecycle, from making plans and specifications to post-mortems and method upkeep.

LINQ For Dummies

I used to be upset to determine that each one the code examples given have been in C#. that can most likely were conquer by means of downloading examples.

However, the ebook arrived in negative situation. It seemed as if anyone had unsuccessfully attempted to rip a yellow pages aside. The covers have been considerably creased, and a number of other pages have been bent in addition. there has been a awesome curvature to the e-book as well.

Perhaps the used to be the cause of the cheaper price? in that case, at the least be sincere approximately what the customer is getting. i'll see this taking place with a personal vendor, yet now not with Amazon themselves.

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns (Foundations)

The point of interest of this e-book is to provide object-oriented programming utilizing . internet styles. styles are at the moment being mostly taught in keeping with the belief that the reader knows item orientated programming options. This has led to one other hole because the suggestions taught usually conflict with the ideas utilized by the reader.

Java Programming

Boost, collect, and Debug High-Performance Java ApplicationsTake your Java abilities to the subsequent point utilizing the professional programming suggestions contained during this Oracle Press consultant. that includes real-world code samples and targeted directions, Java Programming demonstrates the right way to totally make the most of the strong positive aspects of Java SE 7.

Additional resources for A theory of Objects

Sample text

A similar reduction of classes to objects will appear in our formal treatment of object calculi. 2 Prototypes and Clones As we have just seen, procedures may be used for generating objects. However, it may be difficult or inconvenient to anticipate all the possible ways in which objects should be parameterized. The so-called prototype-based languages adopt a different approach to object generation. Instead of parameterizing objects beforehand, they generate stock objects from prototypical objects, and customize the stock objects later [32, 79).

Another approach has emerged that increases the potential for inheritance by further separating subtyping from subclassing. This approach abandons completely the notion that subclassing implies subtyping (property (4)), and is known under the name inheritance-is-not-subtyping [52). elf so as to allow inheritance of methods with arguments of type Self; these methods arise naturally in realistic examples. The price paid for this added flexibility in inheritance is decreased flexibility in subsumption.

For soundness, the result of m must be shown to have type Self, and not just type InstanceTypeOfic). When c' is declared as a subclass of c, the result type of m is still taken to be Self. However, Self is then regarded as a subtype of InstanceTypeOfic'). Thus Self, as the result type of a method, is automatically specialized on subclassing. There are no drawbacks to extending classical class-based languages with Self in covariant positions, for example as the result type of methods. This extension increases expressive power and prevents loss of type information at no cost other than properly keeping track of the type of self.

Download PDF sample

Rated 4.11 of 5 – based on 20 votes