Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Normalization and Partial Evaluation of Functional Logic Programs - Björn Peemöller

Normalization and Partial Evaluation of Functional Logic Programs

Buch | Hardcover
300 Seiten
2017
BoD – Books on Demand (Verlag)
978-3-7448-2192-6 (ISBN)
CHF 27,95 inkl. MwSt
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 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.

Erscheinungsdatum
Reihe/Serie Kiel Computer Science Series ; 2017/1
Sprache englisch
Maße 160 x 226 mm
Gewicht 599 g
Themenwelt Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Compilerbau
Schlagworte Compiler und Übersetzer • Curry • Functional Logic Programs • Informatik • normalization • Partial Evaluation • Programmier- und Skriptsprachen, allgemein
ISBN-10 3-7448-2192-7 / 3744821927
ISBN-13 978-3-7448-2192-6 / 9783744821926
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
CHF 41,85
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80