Normalization and Partial Evaluation of Functional Logic Programs
Peemöller, Björn
Produktnummer:
184c527146472845ff81fad17fe5a6f80c
| Autor: | Peemöller, Björn |
|---|---|
| Themengebiete: | Curry Functional Logic Programs normalization partial evaluation |
| Veröffentlichungsdatum: | 16.06.2017 |
| EAN: | 9783744821926 |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 300 |
| Produktart: | Gebunden |
| Verlag: | BoD – Books on Demand |
Produktinformationen "Normalization and Partial Evaluation of Functional Logic Programs"
The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an integrated way to allow the concise notation of high-level programs. However, the variety of concepts and conciseness of programs may also impact their efficiency. In this work we employ the powerful optimization technique of partial evaluation to develop a fully automatic program optimizer, the so-called partial evaluator. In particular, we formalize the normalization of programs during compilation, establish a formal notation of the evaluation process, develop a formal partial evaluation scheme and prove its correctness and termination, and implement a working partial evaluator which shows impressive results.
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