Auflistung nach Autor:in "Nipkow, Tobias"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragC++ ist typsicher? Garantiert!(Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Wasserab, Daniel; Nipkow, Tobias; Snelting, Gregor; Tip, FrankWir 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.
- ZeitschriftenartikelDeduktion: von der Theorie zur Anwendung(Informatik-Spektrum: Vol. 33, No. 5, 2010) Baader, Franz; Beckert, Bernhard; Nipkow, Tobias