面向对象的逻辑和数学[重复]答案

【问题标题】：The logic and mathematics of object orientation [duplicate]面向对象的逻辑和数学[重复]
【发布时间】：2011-06-09 14:13:33
【问题描述】：

可能重复：
Is OOP based on any branch of mathematics?

据称，这是一个奇怪的问题：面向对象范式是否有任何数学/逻辑基础？如果是这样，是否有关于它的论文/书籍？谢谢。

【问题讨论】：

【解决方案1】：

面向对象范式并非源自数学理论（与关系数据库不同），它最初是出于实际原因而发明的，用于模拟过程（Simula）。人们试图为它找到一个良好的数学基础，以便可以完善或修改现有语言，发现好的理论属性等等。

“抽象数据类型”的工作就是这样一个思路。可能还有其他数学方法来看待面向对象。我在“面向对象的软件构建”，第 2 版，Bertrand Meyer 中找到了一些信息。

【讨论】：

【解决方案2】：

Martín Abadi 和 Luca Cardelli 研究了物体演算。他们有一本书，A Theory of Objects，并查看论文的“related work”链接。

【讨论】：

【解决方案3】：

在这方面已经做了很多工作。我知道的一篇特别论文是 Kathleen Fisher 的博士论文（我在这里有一个 link to her CV，但我不知道如何获得论文本身），我相信这为该领域奠定了很多基础。

【讨论】：