Ancien livre de biblioth�que. Salissures sur la tranche. Couverture diff�rente. Edition 1991. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.

Seller Inventory # E-595-504

Contact seller

Report this item

Bibliographic Details

Title: Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing)
Publisher: Mit Pr
Publication Date: 1991
Language: English
ISBN 10: 0262700425
ISBN 13: 9780262700429
Binding: Softcover
Condition: Tr�s bon

About this title

Synopsis

Modern "non-strict" functional programming languages are a powerful means of programming highly parallel computers, but are intrinsically difficult to compile well because decisions about ordering of subcomputations must be taken at compile time. This book represents a new technique for compiling such languages by partitioning a program into sequential threads. While the interleaving of threads can vary at run time, within each thread the order is fixed.

A program is compiled by analyzing its data dependences, and developing from that a set of partitioning constraints. These practical algorithms are founded on a new theory of data dependence and ordering within functional programs, which defines dependence graphs in terms of a rewrite-rule operational semantics for the language.

By attacking the ordering problem directly, the book departs from previous approaches that obtain partitioning as a byproduct of optimizing lazy evaluation, and cleanly separates partitioning from other code generation issues. Furthermore, the method is flexible enough to produce both lazy code and also a less restrictive "lenient" variant which allows larger threads with only a slight decrease in expressive power. Code generation and optimization are explored in depth for both uniprocessor and multiprocessor targets.

Kenneth R. Traub is a researcher with the Motorola Cambridge Research Center.

Contents: Introduction. Background - Functional Language Compilers. Lenient Evaluation. Functional Quads. Code Generation. A Syntactic Theory of Data Dependence. Dependence-Based Partitioning. Conclusion.

"About this title" may belong to another edition of this title.

Store Description

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.