C++ ist typsicher? Garantiert!
| dc.contributor.author | Wasserab, Daniel | |
| dc.contributor.author | Nipkow, Tobias | |
| dc.contributor.author | Snelting, Gregor | |
| dc.contributor.author | Tip, Frank | |
| dc.contributor.editor | Bleek, Wolf-Gideon | |
| dc.contributor.editor | Raasch, Jörg | |
| dc.contributor.editor | Züllighoven, Heinz | |
| dc.date.accessioned | 2019-05-15T09:43:25Z | |
| dc.date.available | 2019-05-15T09:43:25Z | |
| dc.date.issued | 2007 | |
| dc.description.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. | de |
| dc.identifier.isbn | 978-3-88579-199-7 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22771 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-105 | |
| dc.title | C++ ist typsicher? Garantiert! | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 31 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 29 | |
| gi.conference.date | 27.-30.03.2007 | |
| gi.conference.location | Hamburg | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1