Verwandte Artikel zu Traub: Implementation of Non Strict Fu (Research Monographs...
Traub: Implementation of Non Strict Fu (Research Monographs in Parallel and Distributed Computing) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Traub: Implementation of Non Strict Fu (Research Monographs...
Beispielbild für diese ISBN
Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing)
Verlag:
The MIT Press (edition F First Edition), 1991
ISBN 10: 0262700425
ISBN 13: 9780262700429
Gebraucht
Paperback
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. F First Edition. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Bestandsnummer des Verkäufers 0262700425-11-1
Anzahl: 1 verfügbar
Foto des Verkäufers
Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing)
Anbieter: Lavendier Books, Foster, RI, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good. The MIT Press; Cambridge, 1991. Trade paperback. Review Copy with Review Slip laid in. A Very Good, binding sturdy and intact, some handling/scuff marks to covers, bit of cover edge/corner wear, readers crease, few scuff marks bottom text block edge, a nice, clean and unmarked copy in wraps. 8vo[octavo or approx. 6 x 9], 171pp., bibliography. We pack securely and ship daily w/delivery confirmation on every book. Please Note: Depending on site, actual book for sale may differ physically from picture listed. Additional scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Bestandsnummer des Verkäufers SKU1043807
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing)
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. 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. Bestandsnummer des Verkäufers E-595-504
Anzahl: 1 verfügbar