Normalization And Partial Evaluation Of Functional Logic Programs
Download Normalization And Partial Evaluation Of Functional Logic Programs PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Normalization And Partial Evaluation Of Functional Logic Programs book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Normalization and Partial Evaluation of Functional Logic Programs
Author: Björn Peemöller
language: en
Publisher: BoD – Books on Demand
Release Date: 2017-06-16
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.
Practical Aspects of Declarative Languages
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.
Functional And Logic Programming: Proceedings Of The Third Fuji International Symposium
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.