By Philip John Koopman

An structure for Combinator Graph aid examines latest equipment of comparing lazy sensible courses utilizing combinator relief suggestions, implementation, and characterization of a method for reaching graph relief on uniprocessors, and research of the possibility of special-purpose implementations.

Comprised of 8 chapters, the e-book starts by means of supplying a heritage on useful programming languages and latest implementation know-how. next chapters speak about the TIGRE (Threaded Interpretive Graph aid Engine) method for enforcing combinator graph relief; the TIGRE summary computer, that is used to enforce the graph relief method; the result of functionality measurements of TIGRE on various structures; architectural metrics for TIGRE executing at the MIPS R2000 processor; and the possibility of special-purpose to yield extra pace advancements. the ultimate bankruptcy summarizes the result of the learn, and indicates parts for extra investigation.

Computer engineers, programmers, and machine scientists will locate the ebook interesting.

Show description

Read or Download An Architecture for Combinator Graph Reduction PDF

Similar machine theory books

Graph Theory with Algorithms and its Applications: In Applied Science and Technology

The publication has many very important positive factors which make it compatible for either undergraduate and postgraduate scholars in quite a few branches of engineering and basic and technologies. the $64000 issues interrelating arithmetic & desktop technological know-how also are coated in brief. The publication comes in handy to readers with a variety of backgrounds together with arithmetic, computing device Science/Computer purposes and Operational learn.

Constraint Solving and Planning with Picat (SpringerBriefs in Intelligent Systems)

This e-book introduces a brand new logic-based multi-paradigm programming language that integrates good judgment programming, useful programming, dynamic programming with tabling, and scripting, to be used in fixing combinatorial seek difficulties, together with CP, SAT, and MIP (mixed integer programming) established solver modules, and a module for planning that's applied utilizing tabling.

Operations Research and Enterprise Systems: 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers (Communications ... in Computer and Information Science)

This bookconstitutes revised chosen papers from the 4th InternationalConference on Operations study and firm platforms, ICORES 2015, held inLisbon, Portugal, in January 2015. The 14papers awarded during this quantity have been conscientiously reviewed and choice from atotal of 89 submissions. They have been equipped in topical sections named: methodologiesand applied sciences; and functions.

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science)

This e-book constitutes the refereed lawsuits of the fifth overseas Workshop on Formal ideas for Safety-Critical platforms, FTSCS 2016, held in Tokyo, Japan, in November 2016. The nine revised complete papers awarded including an summary of an invited speak have been conscientiously reviewed and chosen from 23 submissions.

Additional resources for An Architecture for Combinator Graph Reduction

Sample text

Download PDF sample

Rated 4.25 of 5 – based on 21 votes