Normalization and Partial Evaluation of Functional Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs
Author :
Publisher : BoD – Books on Demand
Total Pages : 301
Release :
ISBN-10 : 9783744821926
ISBN-13 : 3744821927
Rating : 4/5 (26 Downloads)

Book Synopsis Normalization and Partial Evaluation of Functional Logic Programs by : Björn Peemöller

Download or read book Normalization and Partial Evaluation of Functional Logic Programs written by Björn Peemöller and published by BoD – Books on Demand. This book was released on 2017-06-16 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Normalization and Partial Evaluation of Functional Logic Programs Related Books

Normalization and Partial Evaluation of Functional Logic Programs
Language: en
Pages: 301
Authors: Björn Peemöller
Categories: Computers
Type: BOOK - Published: 2017-06-16 - Publisher: BoD – Books on Demand

DOWNLOAD EBOOK

The functional logic programming paradigm combines the two most important fields of declarative programming, namely functional and logic programming, in an inte
Functional and Logic Programming
Language: en
Pages: 398
Authors: Herbert Kuchen
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March
Functional And Logic Programming: Proceedings Of The Third Fuji International Symposium
Language: en
Pages: 323
Authors: Masahiko Sato
Categories:
Type: BOOK - Published: 1998-03-12 - Publisher: World Scientific

DOWNLOAD EBOOK

This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantic
A 25-Year Perspective on Logic Programming
Language: en
Pages: 342
Authors: Agostino Dovier
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds,
Partial Evaluation: Practice and Theory
Language: en
Pages: 445
Authors: John Hatcliff
Categories: Computers
Type: BOOK - Published: 2007-07-16 - Publisher: Springer

DOWNLOAD EBOOK

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of softw