Domande taggate «subtypes»


2
Perché il sottotipo comportamentale è indecidibile?
Il lavoro di Liskov in quest'area si è concentrato sul sottotipo comportamentale, che oltre alla sicurezza dei sistemi di tipo discussa in questo articolo richiede anche che i sottotipi preservino tutti gli invarianti garantiti dai supertipi in alcuni contratti. [3] Questa definizione di sottotipo è generalmente indecidibile, quindi non può …
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.