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
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...
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...