面向对象的逻辑和数学

Question

  

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

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

Answer 1

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

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

Answer 2

MartínAbadi和Luca Cardelli研究了对象结石。他们有一本书A Theory of Objects，并查看论文的“related work”链接。

Answer 3

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