An Architecture for Combinator Graph Reduction

An Architecture for Combinator Graph Reduction

An Architecture for Combinator Graph Reduction
by Philip J. Koopman, Jr.

Publisher: Academic Press 1990
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 here:
Download link
(multiple PDF files)

Similar books

Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by T. Nipkow, L.C. Paulson, M. Wenzel - 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.
(6172 views)
Implementing Mathematics with The Nuprl Proof Development SystemImplementing Mathematics with The Nuprl Proof Development System
by R. L. Constable, at al. - 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.
(6719 views)
Algorithmic AlgebraAlgorithmic Algebra
by Bhubaneswar Mishra - Courant Institute of Mathematical Sciences
The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra.
(9822 views)
A Computational Introduction to Number Theory and AlgebraA Computational Introduction to Number Theory and Algebra
by Victor Shoup - Cambridge University Press
This introductory book emphasises algorithms and applications, such as cryptography and error correcting codes. It is accessible to a broad audience. Prerequisites are a typical undergraduate course in calculus and some experience in doing proofs.
(28336 views)