Geek Answers Handbook

Logic and mathematics of object orientation

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

This is allegedly a strange question: are there any mathematical / logical foundations of an object-oriented paradigm? And if so, is there paper / book? Thanks.

+7
source share
3 answers

The object-oriented paradigm was not derived from mathematical theory (unlike relational databases), it was originally invented for practical reasons for modeling processes (Simula). People are trying to find a good mathematical basis for this, so that existing languages ​​can be polished or modified, good theoretical properties can be revealed, etc.

Work on Abstract Data Types is such a thought. There are probably other mathematical ways to look at object orientation. I found some information in Object Oriented Software Construction, 2nd Edition, Bertrand Meyer.

+4
source

There is a calculus of an object studied by Martin Abadi and Luca Cardelli. They have a book, Object Theory and see “ related work ” for documents.

+2
source

A lot of work has been done in this area. One specific article I know is Kathleen Fisher's Ph.D. thesis (I have a link to her resume , but I don’t know how to get the thesis myself), which, I believe, laid the bulk of the work in this area.

+1
source

More articles:


All Articles