Contact
How to shop
Delivery
Shopping guide
Normalization and Partial Evaluation of Functional Logic Programs
English
46 b
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
41.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.
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
14.09
€
/
Hardback
361.99
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?