Cart
Free US shipping over $10
Proud to be B-Corp

Abstract Computing Machines Werner Kluge

Abstract Computing Machines By Werner Kluge

Abstract Computing Machines by Werner Kluge


Summary

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

Abstract Computing Machines Summary

Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge

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

Abstract Computing Machines Reviews

From the reviews:

This remarkable monograph is an extremely well-written and pleasant and reading about abstract computing machines ... . The author chooses a somewhat 'imperative' approach to teaching, which results in the survey of a vast number of concepts provided with many useful examples. The expository style is most favourable, which could be of special value for a reader with no strong background in the area. ... Altogether, this is a book worth reading. (Vladimir Komendantsky, Mathematical Reviews, Issue 2007 k)

About Werner Kluge

Received a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968; worked in industrie/research institutes at the central laboratories of Siemens AG between 1963 and 1968, at Bell Northern Research Ltd in Ottawa/Canada between 1969, and 1972 at the Gesellschaft fuer Mathematik und Datenverarbeitung in St. Augustin/Germany between 1973 and 1978; became an associate professor of computer science at the University of Bonn/Germany in 1978; became a full professor of computer science at the University of Kiel/Germany retired in 2003.

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.

Additional information

NLS9783642059384
9783642059384
3642059384
Abstract Computing Machines: A Lambda Calculus Perspective by Werner Kluge
New
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010-11-10
384
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Abstract Computing Machines