Contacto
Como comprar
Entrega
Guia de compras
Normalization and Partial Evaluation of Functional Logic Programs
Inglês
46 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
44.16
€
/
Capa mole
38.28
€
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.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
24.61
€
/
Capa mole
13.36
€
/
Livro de capa dura
352.32
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?