Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1

Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1

by Werner Kluge
     
 

View All Available Formats & Editions

ISBN-10: 3642059384

ISBN-13: 9783642059384

Pub. Date: 12/15/2010

Publisher: Springer Berlin Heidelberg

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Overview

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Product Details

ISBN-13:
9783642059384
Publisher:
Springer Berlin Heidelberg
Publication date:
12/15/2010
Series:
Texts in Theoretical Computer Science. An EATCS Series
Edition description:
Softcover reprint of hardcover 1st ed. 2005
Pages:
384
Product dimensions:
9.21(w) x 6.14(h) x 0.82(d)

Table of Contents

Algorithms and Programs.- An Algorithmic Language.- The—-Calculus.- The se(m)cd Machine and Others.- Toward Full-Fledged—-Calculus Machines.- Interpreted Head-Order Graph Reduction.- The B-Machine.- The G-Machine.- The—-red Machinery.- Pattern Matching.- Another Functional Abstract Machine.- Imperative Abstract Machines.- Real Computing Machines.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >