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: Mathematics in the Age of the Turing MachineMathematics in the Age of the Turing Machine
by - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(12002 views)
Book cover: The Life of Pi: From Archimedes to Eniac and BeyondThe Life of Pi: From Archimedes to Eniac and Beyond
by - DocServer
The desire to understand Pi, the challenge, and originally the need, to calculate ever more accurate values of Pi, has challenged mathematicians for many many centuries, and Pi has provided compelling examples of computational mathematics.
(14108 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.
(17986 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(12336 views)