Normalization and Partial Evaluation of Functional Logic Programs PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Normalization and Partial Evaluation of Functional Logic Programs PDF full book. Access full book title Normalization and Partial Evaluation of Functional Logic Programs by Björn Peemöller. Download full books in PDF and EPUB format.

Normalization and Partial Evaluation of Functional Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs PDF Author: Björn Peemöller
Publisher: BoD – Books on Demand
ISBN: 3744821927
Category : Computers
Languages : en
Pages : 301

Book Description
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.
➤