Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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.
| Autorius: | Björn Peemöller |
| Serija: | Kiel Computer Science Series |
| Leidėjas: | BoD - Books on Demand |
| Išleidimo metai: | 2017 |
| Knygos puslapių skaičius: | 300 |
| ISBN-10: | 3744821927 |
| ISBN-13: | 9783744821926 |
| Formatas: | 226 x 160 x 23 mm. Knyga kietu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „Normalization and Partial Evaluation of Functional Logic Programs“
