Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler
| dc.contributor.author | Glesner, Sabine | |
| dc.contributor.author | Blech, Jan Olaf | |
| dc.contributor.editor | Liggesmeyer, Peter | |
| dc.contributor.editor | Pohl, Klaus | |
| dc.contributor.editor | Goedicke, Michael | |
| dc.date.accessioned | 2019-10-11T08:47:53Z | |
| dc.date.available | 2019-10-11T08:47:53Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract | Korrektheit von Compilern ist notwendige Voraussetzung für die Korrektheit der damit übersetzten Software. Insbesondere optimierende Compiler sind oft fehlerhaft. In diesem Papier stellen wir nach einem Überblick über den Stand der Forschung unsere neuen Arbeiten zur Verifikation optimierender Compiler vor. Dabei diskutieren wir zum einen, welche logischen Probleme sich bei der formalen Verifikation von Übersetzungsalgorithmen in Compilern mittels Theorembeweisern ergeben und welche Lösungen wir dafür entwickelt haben. Zum anderen zeigen wir, wie man die Korrektheit auch realer optimierender Compiler mit beträchtlichem Implementierungsumfang sicherstellen kann. Damit tragen unsere Ergebnisse zur Korrektheit von Compilern, einem wichtigen Werkzeug in der Softwaretechnik, bei. Außerdem entwickeln wir auf diese Weise Methoden, die auch in anderen Anwendungsbereichen zur Verifikation von Software eingesetzt werden können. | de |
| dc.identifier.isbn | 3-88579-393-8 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/28306 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2005 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-64 | |
| dc.title | Logische und softwaretechnische Herausforderungen bei der Verifikationoptimierender Compiler | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 140 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 131 | |
| gi.conference.date | 8.-11.03.2005 | |
| gi.conference.location | Essen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.64-13.pdf
- Größe:
- 283.49 KB
- Format:
- Adobe Portable Document Format