Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Kluge, Werner
ISBN 10: 3642059384 ISBN 13: 9783642059384
Editore: Springer, 2010
Nuovi
Brossura
Da
Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
In. Codice articolo ria9783642059384_new
Riassunto:
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.
Informazioni sull?autore:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Abstract Computing Machines: A Lambda ...
Casa editrice: Springer
Data di pubblicazione: 2010
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Abstract Computing Machines : A Lambda Calculus Perspective
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11869270-n
Compra nuovo
EUR 89,97
Spese di spedizione:
EUR 17,17
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Abstract Computing Machines
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Emphasizes the design of full-fledged, fully normalizing Lambda-calculus machinery, as opposed to the just weakly normalizing machinesEmphasizes the design of full-fledged, fully normalizing Lambda-calculus machinery, as opposed to the just we. Codice articolo 5045066
Compra nuovo
EUR 92,27
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Abstract Computing Machines | A Lambda Calculus Perspective
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Abstract Computing Machines | A Lambda Calculus Perspective | Werner Kluge | Taschenbuch | xiv | Englisch | 2010 | Springer Berlin | EAN 9783642059384 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 107108256
Compra nuovo
EUR 95,80
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020215180
Compra nuovo
EUR 102,12
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Abstract Computing Machines : A Lambda Calculus Perspective
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11869270-n
Compra nuovo
EUR 103,31
Spese di spedizione:
EUR 2,27
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Abstract Computing Machines
ISBN 10: 3642059384
ISBN 13: 9783642059384
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch. Codice articolo 9783642059384
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Abstract Computing Machines : A Lambda Calculus Perspective
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642059384
ISBN 13: 9783642059384
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment. Codice articolo 9783642059384
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 63,02
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Abstract Computing Machines
Editore:
Springer Berlin Heidelberg Nov 2010, 2010
ISBN 10: 3642059384
ISBN 13: 9783642059384
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment. 400 pp. Englisch. Codice articolo 9783642059384
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Abstract Computing Machines
Editore:
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2010
ISBN 10: 3642059384
ISBN 13: 9783642059384
Nuovo
Paperback
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. Softcover reprint of hardcover 1st ed. 2005. Codice articolo LU-9783642059384
Compra nuovo
EUR 122,35
Spese di spedizione:
EUR 74,41
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783642059384
Compra nuovo
EUR 125,65
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili