Zur Startseite gehen
0,00 €*
Cover: 9783642059384 | Abstract Computing Machines | A Lambda Calculus Perspective | Kluge
Dekorationsartikel gehören nicht zum Leistungsumfang.
Abstract Computing Machines
A Lambda Calculus Perspective
Taschenbuch von Werner Kluge
Sprache: Englisch

91,40 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-4 Werktage

Kategorien:
Beschreibung
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Über den Autor

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.

Zusammenfassung
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2010
Fachbereich: Programmiersprachen
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xiv
384 S.
89 s/w Illustr.
384 p. 89 illus.
ISBN-13: 9783642059384
ISBN-10: 3642059384
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Kluge, Werner
Auflage: Softcover reprint of hardcover 1st edition 2005
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 22 mm
Von/Mit: Werner Kluge
Erscheinungsdatum: 10.11.2010
Gewicht: 0,604 kg
Artikel-ID: 107108256
Über den Autor

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.

Zusammenfassung
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2010
Fachbereich: Programmiersprachen
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xiv
384 S.
89 s/w Illustr.
384 p. 89 illus.
ISBN-13: 9783642059384
ISBN-10: 3642059384
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Kluge, Werner
Auflage: Softcover reprint of hardcover 1st edition 2005
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 22 mm
Von/Mit: Werner Kluge
Erscheinungsdatum: 10.11.2010
Gewicht: 0,604 kg
Artikel-ID: 107108256
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521389952 | Astronomy with Your Personal Computer | Peter Duffett-Smith | Buch
Astronomy with Your Personal Computer
EAN: 9780521389952
Sprache: Englisch
Von/Mit: Peter Duffett-Smith

68,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Limits
A New Approach to Real Analysis
EAN: 9781461268727
Sprache: Englisch
Von/Mit: Alan F. Beardon

46,95 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9783642279188 | The Correctness-by-Construction Approach to Programming | Buch | 2012
The Correctness-by-Construction Approach to Programming
EAN: 9783642279188
Sprache: Englisch
Von/Mit: Bruce W. Watson (u. a.)

91,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521645645 | A Practical Guide to Pseudospectral Methods | Bengt Fornberg | Buch
A Practical Guide to Pseudospectral Methods
EAN: 9780521645645
Sprache: Englisch
Von/Mit: Bengt Fornberg

48,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783662520697 | Architecture Principles | The Cornerstones of Enterprise Architecture
Architecture Principles
The Cornerstones of Enterprise Architecture
EAN: 9783662520697
Sprache: Englisch
Von/Mit: Erik Proper (u. a.)

134,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783030101220 | Classes of Directed Graphs | Gregory Gutin (u. a.) | Taschenbuch
Classes of Directed Graphs
EAN: 9783030101220
Sprache: Englisch
Von/Mit: Gregory Gutin (u. a.)

100,95 €*

Lieferzeit 2-4 Werktage

Buch
Cover: 9789811398445 | Design of Trajectory Optimization Approach for Space Maneuver...
Design of Trajectory Optimization Approach for Space Maneuver Vehicle Skip Entry Problems
EAN: 9789811398445
Sprache: Englisch
Von/Mit: Runqi Chai (u. a.)

158,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484285770 | Pro Data Mashup for Power BI | Adam Aspin | Taschenbuch | xxii | 2022
Pro Data Mashup for Power BI
Powering Up with Power Query and the M Language to Find, Load, and Transform Data
EAN: 9781484285770
Sprache: Englisch
Von/Mit: Adam Aspin

51,95 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9783030703141 | Mixed-Signal Embedded Systems Design | Edward H. Currie | Taschenbuch
Mixed-Signal Embedded Systems Design
A Hands-on Guide to the Cypress PSoC
EAN: 9783030703141
Sprache: Englisch
Von/Mit: Edward H. Currie

55,40 €*

Lieferzeit 2-4 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...