Circular programming is a powerful technique to express multiple traversal algorithms as a single traversal function in a lazy setting. Such a (virtual) circular program may contain circular definitions, that is, arguments of function calls that are also results of that same call. Although circular definitions always induce non-termination under a strict evaluation mechanism, they can sometimes be immediately evaluated using a lazy evaluation strategy. The lazy engine is able to compute the right evaluation order, if that order exists. Indeed, using this style of circular programming, the programmer does not have to concern him/herself with the definition and the scheduling of the different traversal functions, since only a single (traversal) function has to be defined. Neither does the programmer have to define intermediate gluing data structures to convey values computed in one traversal and needed in a following one. In this book, we present our studies on the design, implementation and calculation of circular programs.
Book Description
Editorial Reviews
About the Author
João Fernandes is a Postdoctoral researcher at the Department of Informatics, University of Minho. He obtained his PhD. title in 2009, following his research on the analysis, transformation and optimization of circular lazy functional programs, specially under calculational form.
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
