Was ist in der Programmiersprachenperspektive mit Subtypisierung gemeint? Ich habe gehört, dass "Vererbung keine Untertypisierung" ist. Was sind dann die Unterschiede zwischen Vererbung und
Eigentümertypen und Trennungslogik scheinen ähnliche Ziele zu haben: Kontrolle über Eigentümer und Aliasing. Vielleicht sollte ich auch hinzufügen: die Fähigkeit, modulare Spezifikationen zu schreiben. Was ist über die Beziehung zwischen Besitzertypen und Trennungslogik
Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass meine...