Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do: 19 (Monographs in Theoretical Computer Science. An EATCS Series, 19) - Image 1

£73.20

Springer Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do: 19 (Monographs in Theoretical Computer Science. An EATCS Series, 19)

Name: Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do: 19 (Monographs in Theoretical Computer Science. An EATCS Series, 19)
Brand: Springer
Price: 73.2 GBP
Availability: InStock

AI & Machine Learning

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

£73 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 61 days · 61 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 61 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £74 (53 days, 86.9%)

Price range: £73 - £75

Price levels: 3 different prices over 61 days

Description

This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The Ceres '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The Ceres system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the Ceres system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642648576
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 05 October 2011
Listed Since: 12 July 2012

Barcode

No barcode data available

Springer Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do: 19 (Monographs in Theoretical Computer Science. An EATCS Series, 19)

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

Compiler Technology: Tools, Translators and Language Implementation: 422 (The Springer International Series in Engineering and Computer Science, 422)

No Starch Press - Writing a C Compiler Programming Book

Compiler Design Using Java(R): An Object-Oriented Approach

Compiler Design: Syntactic and Semantic Analysis

Compiler Design: Analysis and Transformation

Compiler Design: Analysis and Transformation

Compiler Construction: Fundamentals and Applications

The Synthesizer Generator Reference Manual (Monographs in Computer Science)

Modern Compiler Implement in C

Engineering a Compiler

Understanding Programming Languages

New Developments in Formal Languages and Applications: 113 (Studies in Computational Intelligence, 113)

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

SSA-based Compiler Design

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Course Technology Introduction to the Theory of Computation 3E

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Transitions and Trees: An Introduction to Structural Operational Semantics

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)

Regulated Rewriting in Formal Language Theory: 18 (Monographs in Theoretical Computer Science. An EATCS Series, 18)

Theory of Computation: Automata, Formal Languages, Computation and Complexity