C++ ist typsicher? Garantiert!
Author:
Abstract
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.
- Citation
- 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}
}
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}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-199-7
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2007
Language:
(de)

Content Type: Text/Conference Paper