Abstract Computing Machines: A Lambda Calculus Perspective - Couverture souple

Livre 18 sur 44: Texts in Theoretical Computer Science. An EATCS

Kluge, Werner

 
9783642059384: Abstract Computing Machines: A Lambda Calculus Perspective
Couverture souple
ISBN 10 : 3642059384 ISBN 13 : 9783642059384
Editeur : Springer, 2010

Synopsis

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. This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines, of which some are interpreting and some execute compiled code.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2010
Langue
anglais
ISBN 10 
3642059384
ISBN 13 
9783642059384
Reliure
Broché
Nombre de pages
400
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540211464: Abstract Computing Machines: A Lambda Calculus Perspective

Edition présentée

ISBN 10 :  3540211462 ISBN 13 :  9783540211464
Editeur : Springer-Verlag Berlin and Heide..., 2005
Couverture rigide