Logo

An Architecture for Combinator Graph Reduction

Large book cover: An Architecture for Combinator Graph Reduction

An Architecture for Combinator Graph Reduction
by

Publisher: Academic Press
ISBN/ASIN: 0124192408
ISBN-13: 9780124192409
Number of pages: 176

Description:
The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that, for similar kinds of combinator graphs on similar kinds of hardware, compare favorably with previously reported techniques.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Curves and Surfaces in Geometric Modeling: Theory and AlgorithmsCurves and Surfaces in Geometric Modeling: Theory and Algorithms
by - Morgan Kaufmann
This book offers both a theoretically unifying understanding of polynomial curves and surfaces and an effective approach to implementation that you can bring to bear on your own work -- whether you are a graduate student, scientist, or practitioner.
(1305 views)
Book cover: Axiom: The Scientific Computation SystemAxiom: The Scientific Computation System
by - axiom-developer.org
Axiom is a free general purpose computer algebra system. The book gives a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms developed by the symbolic computation community, and presents advanced techniques.
(10012 views)
Book cover: Implementing Mathematics with The Nuprl Proof Development SystemImplementing Mathematics with The Nuprl Proof Development System
by - Prentice Hall
The authors offer a tutorial on the new mathematical ideas which underlie their research. Many of the ideas in this book will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.
(7147 views)
Book cover: Probabilistic Programming and Bayesian Methods for HackersProbabilistic Programming and Bayesian Methods for Hackers
by - GitHub, Inc.
This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.
(11896 views)