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

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
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.
Mathematics Applied Computer Mathematics



More Free E-Books For Computer Mathematics


Similar Books For Computer Mathematics

1. Numerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics by Justin Solomon
2. Curves and Surfaces in Geometric Modeling: Theory and Algorithms by Jean Gallier
3. Fractals by
4. Probabilistic Programming and Bayesian Methods for Hackers by Cameron Davidson-Pilon
5. Mathematics in the Age of the Turing Machine by Thomas Hales
6. The Life of Pi: From Archimedes to Eniac and Beyond by Jonathan M. Borwein
7. Pictures of Julia and Mandelbrot Sets by
8. Think Stats: Probability and Statistics for Programmers by Allen B. Downey
9. Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
10. Computer Algebra, Algorithms, Systems and Applications by Richard Liska, at al.
11. Algorithms in Real Algebraic Geometry by S. Basu, R. Pollack, M. Roy
12. Implementing Mathematics with The Nuprl Proof Development System by R. L. Constable, at al.
13. Algorithmic Algebra by Bhubaneswar Mishra
14. An Architecture for Combinator Graph Reduction by Philip J. Koopman, Jr.
15. Strange Attractors: Creating Patterns in Chaos by Julien C. Sprott
16. Art Gallery Theorems and Algorithms by Joseph O'Rourke
17. Axiom: The Scientific Computation System by Richard D. Jenks, Robert S. Sutor
18. The Golden E-Book of Graphs of Mathematical Functions by E. Pérez
19. Mathematics for Computer Scientists by Gareth J. Janacek, Mark L. Close
20. Mathematical Illustrations: A Manual of Geometry and PostScript by Bill Casselman
21. Mathematics for Algorithm and Systems Analysis by Edward A. Bender, S. Gill Williamson
22. Vector Math for 3D Computer Graphics by Bradley Kjell
23. Algorithmic Mathematics by Leonard Soicher, Franco Vivaldi
24. A Computational Introduction to Number Theory and Algebra by Victor Shoup



Categories