Normalization and Partial Evaluation of Functional Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller


300 Seiten

ISBN-13: 9783744821926

Verlag: Books on Demand

Erscheinungsdatum: 16.06.2017

Sprache: Englisch

Farbe: Ja

19,99 €

inkl. MwSt. / portofrei

sofort verfügbar

Ihr eigenes Buch!

Werden Sie Autor mit BoD und bringen Sie Ihr Buch und E-Book in den Buchhandel.

Mehr erfahren
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.
Björn Peemöller

Björn Peemöller

Björn Peemöller achieved his Master in Computer Science at the University of Applied Sciences Wedel. After graduation, he joined the research group for Programming Languages and Compiler Construction at Kiel University, where he developed a special interest in the design and implementation of the functional logic language Curry.

Es sind momentan noch keine Pressestimmen vorhanden.

Eigene Bewertung schreiben
Bitte melden Sie sich hier an, um eine Bewertung abzugeben.