Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1

Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1

by Werner Kluge
     
 

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program

See more details below

Overview

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation.

The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.

Read More

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 >