Logo des Repositoriums

Auflistung nach Autor:in "Wasserab, Daniel"

1 - 1 von 1
  • Konferenzbeitrag
    C++ ist typsicher? Garantiert!
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Wasserab, Daniel; Nipkow, Tobias; Snelting, Gregor; Tip, Frank
    Wir präsentieren eine operationelle Semantik mit Typsicherheitsbeweis für Mehrfachvererbung in C++, formalisiert im und maschinengeprüft durch den Maschinenbeweiser Isabelle/HOL. Die Typsicherheit des Vererbungsmechanismus von C++ war lange offen. Der nun vorliegende Beweis erhöht das Vertrauen in die Sprache, erzeugt aber auch neue Einsicht in die Problematik des C++-Vererbungsmechanismus. Er öffnet die Tür für weitergehende Beweise, die bisher unerreichte Sicherheitsgarantien für C++-Programme liefern.