The logic and mathematics of object orientation [duplicate]

Question

Possible Duplicate:
Is OOP based on any branch of mathematics?

This is, allegedly, a strange question: are there any mathematical/logic foundations for the object-oriented paradigm? And, if so, is there a paper/book about it? Thanks.

Answer 1

The object oriented paradigm was not derived from a mathematical theory (unlike relational databases), it was initially invented for practical reasons, to simulate processes (Simula). People are trying to find a good mathematical foundation for it so that the existing languages can be polished or moddified, nice theoretical properties can be uncovered and so on.

The work on "Abstract Data Types" is such a train of thought. There are probably other mathematical ways of looking at object orientedness. I found some information in "Object Oriented Software Construction", 2nd edition, Bertrand Meyer.

Answer 2

There are the object calculi studied by Martín Abadi and Luca Cardelli. They have a book, A Theory of Objects, and see the "related work" link for the papers.