计算机科学的哪个分支专注于软件中的面向对象概念？
计算机科学是否有一个专注于面向对象概念的分支？关于面向对象软件开发的书籍有很多，但它们大多采用工程的角度。 在研究论文的背景下，我希望能够采用计算机科学的观点。换句话说，大多数资源似乎都是关于工艺的，而不是工艺背后的科学。 在更抽象的层面上研究面向对象的重要书籍和论文将非常有用。
Is there a branch of computer science that focuses on concepts of OO? There are many books about Object Oriented software development, but they are mostly adopting an engineering perspective.
In the context of a research paper, I'd like to be able to adopt the computer science point of view. In other words, most resources out there seem to be about the craft, not the science behind the craft.
Important books, papers which study OO at a more abstract level would be really useful.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
这本书似乎是一个很好的起点：http://www.amazon.com/基础-面向对象-语言-类型-语义/dp/026202523X
万一其他人也在寻找同样的东西。
This book appears to be a good starting point: http://www.amazon.com/Foundations-Object-Oriented-Languages-Types-Semantics/dp/026202523X
In case anybody else is looking for the same thing.
Bertrand Meyer 的《面向对象软件构建》可能是我读过的对 OO 最深入的研究。
Object Oriented Software Construction by Bertrand Meyer is probably the most in-depth study of OO I've come across.
您可能想查看 AbdelGawad 最近在莱斯大学的工作。他构建了主流 OOP（例如 Java、C#、C++、Scala、X10 等）的数学模型，称为 NOOP。这是他的博士论文的链接 http://scholarship.rice.edu/handle/1911/70199
You may like to check AbdelGawad's recent work at Rice University. He builds a mathematical model of mainstream OOP (eg, Java, C#, C++, Scala, X10, etc) called NOOP. Here is a link to his PhD thesis http://scholarship.rice.edu/handle/1911/70199