Skip to the end of the images gallery Navigation umschalten
Skip to the beginning of the images gallery Navigation umschalten
Normalization and Partial Evaluation of Functional Logic Programs
Band 2017/1 von 2017 in dieser Reihe
ePDF
2,8 MB
DRM: kein Kopierschutz
ISBN-13: 9783744844505
Verlag: Books on Demand
Erscheinungsdatum: 16.06.2017
Sprache: Englisch
erhältlich als:
5,99 €
inkl. MwSt.
sofort verfügbar als Download
Ihr eigenes Buch!
Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.
Mehr erfahrenThe 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.
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.
Eigene Bewertung schreiben
Es sind momentan noch keine Pressestimmen vorhanden.