Normalization and Partial Evaluation of Functional Logic Programs
Fr. 29.90
inkl. gesetzl. MwSt.,
-
Kostenlose Lieferung ab Fr. 30 Einkaufswert
Schweiz & Liechtenstein:
Versandkostenfrei ab Fr. 30.00
Versandkosten bis Fr. 30.00: Fr. 3.50Andere Lieferländer
Fr. 18.00 unabhängig vom Warenwert
Beschreibung
Produktdetails
Einband
Gebundene Ausgabe
Erscheinungsdatum
16.06.2017
Abbildungen
mit Farbabbildung
Verlag
BoD – Books on DemandSeitenzahl
300
Maße (L/B/H)
22.6/16/2.3 cm
Gewicht
630 g
Auflage
1
Sprache
Englisch
ISBN
978-3-7448-2192-6
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung