Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) - Image 1

£71.99

Springer Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Name: Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 71.99 GBP
Availability: InStock

Compilers

It has never been this cheap. We have no record of a lower price.

£72 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 73 days · 73 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 73 days • 1 price levels

Days at Price

Price Analysis

Most common price: £72 (73 days, 100.0%)

Price range: £72 - £72

Price levels: 1 different prices over 73 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642059384
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 10 November 2010
Listed Since: 20 September 2010

Barcode

No barcode data available

Springer Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lambda-Calculus and Combinators: An Introduction

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103)

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

The Lambda Calculus: Its Syntax and Semantics: v. 103 (Studies in Logic and the Foundations of Mathematics)

Cambridge Two-Level Functional Languages - Series 34 Book

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... 902 (Lecture Notes in Computer Science, 902)

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Cambridge Functional Programming Implementation Book - Series 45

Concepts in Programming Languages

Mathematics in Programming

Lisp in Small Pieces

Introduction to Metamathematics (Bibliotheca Mathematica)

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings: 380 (Lecture Notes in Computer Science, 380)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

Computability

Logic of Computation: SER F / v.157 (NATO ASI)

Programming Languages: An Active Learning Approach

Springer Recent Advances in Formal Languages and Applications 25

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)

ML for the Working Programmer