Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologie
Termín obdržení zásilky
Česká pošta Čtvrtek 25.04
PPL Čtvrtek 25.04
Osobní odběr Pátek 26.04
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Normalization and Partial Evaluation of Functional Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs
19 %

416  Kč 512 Kč

Sleva až 70% u třetiny knih

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.
Autor:
Nakladatel: Books on Demand
ISBN: 3744821927
Rok vydání: 2017
Jazyk : Angličtina
Vazba: pevná
Počet stran: 300
Mohlo by se vám také líbit..