Informatique théorique object-oriented

1

En quoi l'héritage diffère-t-il du sous-typage?

Dans la perspective du langage de programmation, que signifie le sous-typage? J'ai entendu dire que "l'héritage n'est pas un sous-typage". Quelles sont alors les différences entre l'héritage et le sous-typage?

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

2

Types de propriété et logique de séparation

Les types de propriété et la logique de séparation semblent avoir des objectifs, un contrôle sur la propriété et un alias similaires. Je devrais peut-être aussi ajouter: la possibilité d'écrire des spécifications modulaires. Que sait-on de la relation entre les types de propriété et la logique de séparation?

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

2

Définition formelle / contrepartie en mathématiques pour les «objets» des modèles orientés objet

C'est une question que j'ai posée dans le forum Mathématiques SE, et j'ai été référé ici. Voici donc la question- Je suis un débutant en mathématiques formelles et en informatique théorique, alors soyez indulgent avec vous si vous trouvez que ma question n'est pas bien formulée. La modélisation orientée objet …

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

Questions marquées «object-oriented»