Domande taggate «object-oriented»

In che modo l'eredità differisce dal sottotipo?

Nella prospettiva del linguaggio di programmazione, cosa si intende per sottotipo? Ho sentito che "L'ereditarietà non è sottotipizzazione". Quindi quali sono le differenze tra eredità e sottotipo?

15 pl.programming-languages type-theory type-systems object-oriented

Tipi di proprietà e logica di separazione

I tipi di proprietà e la logica di separazione sembrano avere obiettivi simili, controllo sulla proprietà e aliasing. Forse dovrei anche aggiungere: la capacità di scrivere specifiche modulari. Cosa si sa della relazione tra i tipi di proprietà e la logica di separazione?

10 pl.programming-languages type-systems object-oriented program-logic

Definizione formale / controparte in matematica per "Oggetti" di modelli orientati agli oggetti

Questa è una domanda che ho posto nel forum di matematica su SE, e sono stato rinviato qui. Quindi ecco la domanda- Sono un principiante sia in matematica formale che in informatica teorica, quindi per favore abbi pazienza se trovi che la mia domanda non è correttamente inquadrata. La modellazione …

9 pl.programming-languages semantics formal-modeling set-theory object-oriented

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.