LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Normalization and Partial Evaluation of Functional Logic Programs

Sprache EnglischEnglisch
Buch Hardcover
Buch Normalization and Partial Evaluation of Functional Logic Programs Björn Peemöller
Libristo-Code: 16495853
Verlag Books on Demand, November 2016
The functional logic programming paradigm combines the two most important fields of declarative prog... Vollständige Beschreibung
? points 46 b
18.79 inkl. MwSt.
Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht


Kunden kauften auch


waren Funker Wolfgang Buddrus / Buch Broschur
common.buy 29.90
365 стихов на каждый день Александр Пушкин / Buch Hardcover
common.buy 19.19
Bak Bana Medusa Torkil Damhaug / Buch Broschur
common.buy 20.99
Lettre A Tous Ceux Qui Scavent Entendre GUICHARD-J-F / Buch Broschur
common.buy 15.09
Heimliche Blicke. Bd.13 Wakoh Honna / Buch Broschur
common.buy 8.50
ISLA DEL DIA DE ANTES Umberto Eco / Buch Broschur
common.buy 14.79

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Normalization and Partial Evaluation of Functional Logic Programs
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2017
Anzahl der Seiten 300
EAN 9783744821926
ISBN 3744821927
Libristo-Code 16495853
Gewicht 599
Abmessungen 155 x 220 x 23
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


World Christianity in Muslim Encounter Stephen R Goodwin / Buch Hardcover
common.buy 257.79
Girlhood x A Haunting Sara Moore Wagner / Buch Broschur
common.buy 16.49
Geometric Patterns from Patchwork Quilts Robert Field / Buch Broschur
common.buy 8.09
Ho, Ho, Hey! What Just Happened? Loretta L Sinclair / Buch Broschur
common.buy 11.19
Why Architecture Matters Paul Goldberger / Buch Broschur
common.buy 16.59
Not Straight, Not White Kevin Mumford / Buch Broschur
common.buy 41.79
Collected Works of Samuel Taylor Coleridge, Volume 4 (Part II) Samuel Taylor Coleridge / Buch Hardcover
common.buy 361.99
If I were a Dan Clements / Buch Broschur
common.buy 10.69

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?