Mögliche Duplizieren:
Is OOP based on any branch of mathematics?Die Logik und Mathematik der Objektorientierung
Dies ist angeblich eine seltsame Frage: Gibt es mathematisch/logische Grundlagen für das objektorientierte Paradigma ? Und wenn ja, gibt es ein Papier/Buch darüber? Danke.
Das objektorientierte Paradigma wurde nicht aus einer mathematischen Theorie abgeleitet (im Gegensatz zu relationalen Datenbanken), es wurde ursprünglich aus praktischen Gründen erfunden, um Prozesse zu simulieren (Simula). Die Leute versuchen, eine gute mathematische Grundlage dafür zu finden, so dass die vorhandenen Sprachen poliert oder modifiziert werden können, nette theoretische Eigenschaften können aufgedeckt werden und so weiter.
Die Arbeit an "Abstract Data Types" ist ein solcher Gedankengang. Es gibt wahrscheinlich andere mathematische Möglichkeiten, objektorientiert zu sein. Ich habe einige Informationen in "Object Oriented Software Construction", 2. Auflage, Bertrand Meyer gefunden.
In diesem Bereich wurde viel Arbeit geleistet. Ein bestimmtes Papier, das ich kenne, ist Kathleen Fishers Doktorarbeit (ich habe hier eine link to her CV, aber ich weiß nicht, wie ich die These selbst erhalten könnte), was meines Erachtens einen großen Teil der Arbeit in diesem Bereich geleistet hat.
Ausgezeichnet. Vielen Dank. Ich werde sie darum bitten. –
Es gibt die Objektkalküle von Martín Abadi und Luca Cardelli. Sie haben ein Buch, A Theory of Objects, und den "related work" Link für die Papiere.
Dies könnte bessere Antworten auf [Cstheory] (http://cstheory.stackexchange.com/) – huitseeker
Es ist keine seltsame Frage, es ist eine interessante Frage! Vielleicht könnten Sie die Kachel ändern und das Präfix weglassen? –
@Bruno. Erledigt! Und noch 2 mehr. –