Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller

Limba

engleză

Carte Copertă tare

Codul Libristo: 16495853

Editura Books on Demand, noiembrie 2016

The functional logic programming paradigm combines the two most important fields of declarative prog... Descrierea completă

Codul Libristo: 16495853

46 b

99.49 lei

În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

waren Funker Wolfgang Buddrus

Carte broșată

148.10 lei

Bak Bana Medusa Torkil Damhaug

Carte broșată

110.69 lei

365 стихов на каждый день Александр Пушкин

Copertă tare

95.86 lei

Dirección por implicación (DPI) : el cambio estratégico para competir en la sociedad del conocimiento José Carlos Álvarez Fernández

Carte broșată

210.39 lei

Galilee Et l'Eglise, l'Histoire Et Le Roman Aubanel-P

Carte broșată

107.27 lei

Lettre A Tous Ceux Qui Scavent Entendre GUICHARD-J-F

Carte broșată

79.90 lei

Heimliche Blicke. Bd.13 Wakoh Honna

Carte broșată

43.42 lei

ISLA DEL DIA DE ANTES Umberto Eco

Carte broșată

82.49 lei

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.