C++ ist typsicher? Garantiert!

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Wasserab, D., Nipkow, T., Snelting, G. & Tip, F., (2007). C++ ist typsicher? Garantiert!. In: Bleek, W.-G., Raasch, J. & Züllighoven, H. (Hrsg.), Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik. Bonn: Gesellschaft für Informatik e. V.. (S. 29-31).
@inproceedings{mci/Wasserab2007,
author = {Wasserab, Daniel AND Nipkow, Tobias AND Snelting, Gregor AND Tip, Frank},
title = {C++ ist typsicher? Garantiert!},
booktitle = {Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik},
year = {2007},
editor = {Bleek, Wolf-Gideon AND Raasch, Jörg AND Züllighoven, Heinz} ,
pages = { 29-31 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
29.pdf70.61Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-199-7
ISSN: 1617-5468
Datum: 2007
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige