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

By Martín Abadi, Luca Cardelli

Procedural languages are usually good understood and their formal foundations forged within the varieties of quite a few lambda-calculi. For object-oriented languages but the state of affairs isn't as simple. during this publication the authors suggest and increase a unique process by means of constructing item calculi within which items are taken care of as primitives. utilizing item calculi, the authors may be able to clarify either the semantics of items and their typing principles and exhibit how you can advance the entire most crucial thoughts of object-oriented programming languages: self, dynamic dispatch, sessions, inheritance, secure and personal tools, prototyping, subtyping, covariance and contravariance, and strategy 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

The Essence of Object Oriented Programming with Java and UML

You've got written a few traces of Java code and created a number of gadgets, but you know that this does not represent precise object-oriented programming. As a Java programmer, you need to get extra from your efforts. This advent to the fundamentals of object-oriented programming and the Unified Modeling Language (UML) provides you with a company origin on which to construct top of the range software program structures that obtain the complete advantage of an object-oriented technique.

Concepts in programming languages

Techniques in Programming Languages elucidates the principal suggestions utilized in glossy programming languages, resembling services, varieties, reminiscence administration, and keep an eye on. The e-book is exclusive in its entire presentation and comparability of significant object-oriented programming languages. Separate chapters research the heritage of gadgets, Simula and Smalltalk, and the famous languages C++ and Java.

Computing patterns in strings

The computation of styles in strings is a basic requirement in lots of parts of technology and knowledge processing. The operation of a textual content editor, the lexical research of a working laptop or computer software, the functioning of a finite automaton, the retrieval of knowledge from a database - those are all actions that can require that styles be positioned and computed.

Building Web Applications with ADO.NET and XML Web Services

How one can construct a data-intensive internet program with XML net companies and ADO. web! Richard Hundhausen, Steven Borg, Cole Francis, and Kenneth Wilcox have mixed their years of workmanship during this helpful source to coach you ways a standard stressed enterprise can leverage net companies in B2B trade.

Additional info for A theory of Objects

Sample text

To explain these techniques, we first review the basic subtyping properties of product and function types. Let us consider product types. The type AxB is the type of pairs with left component of type A and right component of type B. The operations fst(c) and snd(c) extract the left and right components, respectively, of an element c of type AxB. We say that x is a covariant operator (in both arguments), because AxB varies in the same sense as A or B: AxB <: A'xB' provided that A <: A' and B <: B' We can justify this property as follows.

5 Object Protocols Even when subclasses do not induce subtypes, we can find a relation between the type induced by a class and the type induced by one of its subclasses. It just so happens that, unlike subtyping, this relation does not enjoy the subsumption property. We now examine this new relation between object types. 4, we cannot usefully quantify over the subtypes of Max because of the failure of subtyping. A parametric definition such as: ObjectOperator P[M <: Max] is ... end; is not very useful; we can instantiate P to P[Max], but P[MinMax] is not well-formed.

Subclassing still implies subtyping, so all the previous uses of subsumption are still allowed. But, since subsumption is based on sub typing and not subclassing, we now have even more freedom in subsumption. In conclusion, the notion of subclassing-is-subtyping can be weakened to subclassing-implies-subtyping without loss of expressiveness, and with a gain in separation between interfaces and implementations. 3 Type Parameters Type parameterization is a general technique for reusing the same piece of code at different types.

Download PDF sample

Rated 4.48 of 5 – based on 38 votes