Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations
Produktnummer:
186d7a79f7341347ae8e56ec74a85f643a
| Autor: | Neurauter, Friedrich |
|---|---|
| Themengebiete: | Computerprogramme Entwicklung Software |
| Veröffentlichungsdatum: | 10.01.2014 |
| EAN: | 9783902936141 |
| Sprache: | Englisch |
| Seitenzahl: | 172 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | innsbruck university press |
Produktinformationen "Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations"
Die Frage der Terminierung von Algorithmen ist ein zentrales Problem in der Softwareentwicklung, und formale Methoden für die Terminierungsanalyse spielen bei der Verifikation von Computerprogrammen eine wichtige Rolle. In diesem Zusammenhang wurde in der jüngeren Vergangenheit viel Forschungsarbeit auf dem Gebiet der Termersetzung geleistet, einem konzeptionell einfachen, aber dennoch universellen Berechnungsmodell, für welches im Lauf der Zeit viele mächtige Methoden für die Erminierungsanalyse entwickelt wurden. Zwei davon, nämlich Polynominterpretationen und Matrixinterpretationen, werden im vorliegenden Buch einer genauen Analyse unterzogen. Es werden alle relevanten Forschungsergebnisse aus der Literatur präsentiert sowie einige offene Forschungsfragen im Zusammenhang mit der Terminierungsanalyse von Termersetzungssystemen beantwortet.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen