An Architecture for Combinator Graph Reduction

An Architecture for Combinator Graph Reduction
Author :
Publisher : Elsevier
Total Pages : 172
Release :
ISBN-10 : 9781483270463
ISBN-13 : 1483270467
Rating : 4/5 (467 Downloads)

Book Synopsis An Architecture for Combinator Graph Reduction by : Philip John Koopman

Download or read book An Architecture for Combinator Graph Reduction written by Philip John Koopman and published by Elsevier. This book was released on 2014-05-12 with total page 172 pages. Available in PDF, EPUB and Kindle. Book excerpt: An Architecture for Combinator Graph Reduction examines existing methods of evaluating lazy functional programs using combinator reduction techniques, implementation, and characterization of a means for accomplishing graph reduction on uniprocessors, and analysis of the potential for special-purpose hardware implementations. Comprised of eight chapters, the book begins by providing a background on functional programming languages and existing implementation technology. Subsequent chapters discuss the TIGRE (Threaded Interpretive Graph Reduction Engine) methodology for implementing combinator graph reduction; the TIGRE abstract machine, which is used to implement the graph reduction methodology; the results of performance measurements of TIGRE on a variety of platforms; architectural metrics for TIGRE executing on the MIPS R2000 processor; and the potential for special-purpose hardware to yield further speed improvements. The final chapter summarizes the results of the research, and suggests areas for further investigation. Computer engineers, programmers, and computer scientists will find the book interesting.


An Architecture for Combinator Graph Reduction Related Books

An Architecture for Combinator Graph Reduction
Language: en
Pages: 172
Authors: Philip John Koopman
Categories: Computers
Type: BOOK - Published: 2014-05-12 - Publisher: Elsevier

GET EBOOK

An Architecture for Combinator Graph Reduction examines existing methods of evaluating lazy functional programs using combinator reduction techniques, implement
Graph Reduction
Language: en
Pages: 58
Authors: Joseph H. Fasel
Categories: Computers
Type: BOOK - Published: 1987-10-07 - Publisher: Springer Science & Business Media

GET EBOOK

This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers ar
Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
Language: en
Pages: 250
Authors: Nikos B. Troullinos
Categories: Computers
Type: BOOK - Published: 2011-10 - Publisher: Universal-Publishers

GET EBOOK

Available in Paperback Available in eBook editions (PDF format) Institution: Syracuse University (Syracuse, NY, USA) Advisor(s): Prof. Klaus J. Berkling Degree:
Managing and Mining Graph Data
Language: en
Pages: 623
Authors: Charu C. Aggarwal
Categories: Computers
Type: BOOK - Published: 2010-02-02 - Publisher: Springer Science & Business Media

GET EBOOK

Managing and Mining Graph Data is a comprehensive survey book in graph management and mining. It contains extensive surveys on a variety of important graph topi
Graph-Theoretic Concepts in Computer Science
Language: en
Pages: 452
Authors: Jan van Leeuwen
Categories: Computers
Type: BOOK - Published: 1994-05-20 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science, WG '93, held near Utrecht, The Netherla