AHA-BUCH

Abstract Computing Machines

A Lambda-Calculus Perspective
 Buch
Sofort lieferbar | Lieferzeit:3-5 Tage I

85,59 €*

Alle Preise inkl. MwSt. | zzgl. Versand
ISBN-13:
9783540211464
Einband:
Buch
Erscheinungsdatum:
01.02.2005
Seiten:
384
Autor:
Werner Kluge
Gewicht:
714 g
Format:
243x164x30 mm
Serie:
Texts in Theoretical Computer Science EATCS
Sprache:
Englisch
Beschreibung:

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.
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.