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.
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
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.