Abstract Computing Machines
A Lambda Calculus Perspective
(Sprache: Englisch)
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Leider schon ausverkauft
versandkostenfrei
Buch
96.29 €
Produktdetails
Produktinformationen zu „Abstract Computing Machines “
Klappentext zu „Abstract Computing Machines “
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Inhaltsverzeichnis zu „Abstract Computing Machines “
- Preliminary Table of Contents:- Algorithms and Programs
- An Algorithmic Language
- The Lambda Calculus
- the SE(M)CD-Machine
- Towards Full-fledged Lambda Calculus Machines
- Head-order Graph Reduction
- The B-Machine
- The G-Machine
- The p-RED Machinery.
Autoren-Porträt von Werner Kluge
Werner Kluge received a Dr. rer. nat. degree in physics from the Technical UniversityMunich/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.
Bibliographische Angaben
- Autor: Werner Kluge
- 2005, 384 Seiten, Maße: 16,4 x 24,3 cm, Gebunden, Englisch
- Verlag: Springer
- ISBN-10: 3540211462
- ISBN-13: 9783540211464
- Erscheinungsdatum: 18.02.2005
Sprache:
Englisch
Rezension zu „Abstract Computing Machines “
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)
Kommentar zu "Abstract Computing Machines"
0 Gebrauchte Artikel zu „Abstract Computing Machines“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Abstract Computing Machines".
Kommentar verfassen