Duplicar posibles:
Is OOP based on any branch of mathematics?La lógica y la matemática de la orientación a objetos
Esto es, supuestamente, una extraña pregunta: ¿existen fundamentos/lógica matemática para el paradigma orientado a objetos ? Y, si es así, ¿hay algún documento/libro sobre eso? Gracias.
El paradigma orientado a objetos no se derivó de una teoría matemática (a diferencia de las bases de datos relacionales), se inventó inicialmente por razones prácticas, para simular procesos (Simula). La gente está tratando de encontrar una buena base matemática para que los lenguajes existentes se puedan pulir o modificar, se puedan descubrir buenas propiedades teóricas, etc.
El trabajo en "Tipos de datos abstractos" es una de esas líneas de pensamiento. Probablemente haya otras formas matemáticas de ver la orientación hacia los objetos. Encontré algo de información en "Construcción de software orientada a objetos", segunda edición, Bertrand Meyer.
Ha habido mucho trabajo en esta área. Un artículo en particular que conozco es la tesis de doctorado de Kathleen Fisher (aquí tengo un link to her CV, pero no conozco la forma de obtener la tesis en sí), que creo que sentó las bases en esta área.
Excelente. Gracias. Se lo preguntaré. –
Existen los cálculos de objeto estudiados por Martín Abadi y Luca Cardelli. Tienen un libro, A Theory of Objects, y ver el enlace "related work" para los documentos.
Esto podría obtener mejores respuestas en [cstheory] (http://cstheory.stackexchange.com/) – huitseeker
¡No es una pregunta extraña, es interesante! ¿Tal vez podrías cambiar el mosaico y dejar el prefijo? –
@ Bruno. ¡Hecho! Y 2 más –