Als «object-oriented» getaggte Fragen

Wie unterscheidet sich die Vererbung von der Untertypisierung?

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 Subtypisierung?

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

Eigentümertypen und Trennungslogik

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 bekannt?

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

Formale Definition / Gegenstück in der Mathematik für „Objekte“ objektorientierter Modelle

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 …

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

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.