ENGLISH

A theory of objects

By Luca Cardelli , Martín Abadi

Book information

Publisher
Springer
Year
1996
ISBN
9781461264453
DOI
10.1007/978-1-4419-8598-9
Language
english
Format
DJVU
Filesize
3 MB (3185007 bytes)
Series
Monographs in Computer Science
Pages
412\412
Library
kolxoz
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2014-05-08 09:00:00
CompilersInterpretersProgramming Languages

Description

Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.

Similar books