Mögliches Duplikat:
Basiert OOP auf irgendeinem Zweig der Mathematik?
Dies ist eine vermeintlich seltsame Frage: Gibt es mathematische/logische Grundlagen für das objektorientierte Paradigma? Und, wenn ja, gibt es ein Papier/Buch darüber? Vielen Dank!
Das objektorientierte Paradigma wurde nicht aus einer mathematischen Theorie abgeleitet (im Gegensatz zu relationalen Datenbanken), sondern wurde ursprünglich aus praktischen Gründen erfunden, um Prozesse zu simulieren (Simula). Man versucht, eine gute mathematische Grundlage dafür zu finden, so dass die bestehenden Sprachen verfeinert oder modifiziert werden können, schöne theoretische Eigenschaften aufgedeckt werden können und so weiter.
Die Arbeit an "Abstrakten Datentypen" ist ein solcher Gedankengang. Wahrscheinlich gibt es noch andere mathematische Betrachtungsweisen für die Objektorientiertheit. Ich habe einige Informationen in "Object Oriented Software Construction", 2. Auflage, Bertrand Meyer, gefunden.
Es handelt sich um die von Martín Abadi und Luca Cardelli untersuchten Objektkalküle. Sie haben ein Buch, Eine Theorie der Objekte und siehe die " verbundene Arbeiten "Link zu den Papieren.
In diesem Bereich wurde viel Arbeit geleistet. Eine besondere Arbeit, die ich kenne, ist die Dissertation von Kathleen Fisher (ich habe eine Link zu ihrem Lebenslauf hier, aber ich weiß nicht, wie man an die These selbst herankommt), die meines Erachtens einen großen Teil der Grundlagen in diesem Bereich geschaffen hat.
CodeJaeger ist eine Gemeinschaft für Programmierer, die täglich Hilfe erhalten..
Wir haben viele Inhalte, und Sie können auch Ihre eigenen Fragen stellen oder die Fragen anderer Leute lösen.
