Eventuali duplicati:
Is OOP based on any branch of mathematics?La logica e la matematica di orientamento dell'oggetto
Questo è, presumibilmente, una strana domanda: Nessuna fondazioni/logici matematici per il paradigma orientato agli oggetti ? E se è così, c'è un libro/libro a riguardo? Grazie.
Il paradigma object oriented non derivava da una teoria matematica (diversamente dai database relazionali), inizialmente è stato inventato per motivi pratici, per simulare i processi (Simula). Le persone stanno cercando di trovare una buona base matematica per far sì che le lingue esistenti possano essere lucidate o modificate, che possano essere scoperte proprietà teoriche e così via.
Il lavoro su "Tipi di dati astratti" è un tale ragionamento. Ci sono probabilmente altri modi matematici di guardare all'orientamento agli oggetti. Ho trovato alcune informazioni in "Costruzione di software orientato agli oggetti", 2a edizione, Bertrand Meyer.
C'è stato molto lavoro in questo settore. Un particolare articolo che conosco è la tesi di dottorato di Kathleen Fisher (ho uno link to her CV qui, ma non conosco un modo per ottenere la tesi stessa), che credo abbia posto molte basi in quest'area.
Eccellente. Grazie. Glielo chiederò. –
Ci sono i calcoli dell'oggetto studiati da Martín Abadi e Luca Cardelli. Hanno un libro, A Theory of Objects, e vedono il collegamento "related work" per i giornali.
Questo potrebbe ottenere risposte migliori in [cstheory] (http://cstheory.stackexchange.com/) – huitseeker
Non è una domanda strana, è interessante! Forse potresti cambiare la tessera e lasciare il prefisso di distanza? –
@Bruno. Fatto! E altri 2. –