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.identifier.isbn	978-3-88579-199-7
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/22771
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.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
dc.pubPlace	Bonn
mci.reference.pages	29-31
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Hamburg
mci.conference.date	27.-30.03.2007