The Synthesizer Generator Reference Manual (Monographs in Computer Science) - Image 1

£77.51

Springer The Synthesizer Generator Reference Manual (Monographs in Computer Science)

Name: The Synthesizer Generator Reference Manual (Monographs in Computer Science)
Brand: Springer
Price: 77.51 GBP
Availability: InStock

Amazon

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

£78 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 1 days • 1 data points (No recent data available)

Historical

Generating forecast...

Not enough data points to display chart (need at least 2 points)

Price Distribution

Price distribution over 1 days • 1 price levels

Days at Price

Price Analysis

Most common price: £78 (1 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 1 days

Description

The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularlysuitable application.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 0387969101
Category: Books > Subjects > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
Domain: Amazon UK
Release Date: 19 December 1988
Listed Since: 08 February 2007

Barcode

No barcode data available

Springer The Synthesizer Generator Reference Manual (Monographs in Computer Science)

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

Grammatical Picture Generation: A Tree-Based Approach (Texts in Theoretical Computer Science. An EATCS Series)

Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 2: Applications, Languages And Tools

Generative Grammar in Europe: 13 (Foundations of Language Supplementary Series, 13)

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

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

Handbook of Formal Languages: Volume 3 Beyond Words

Formal Language: A Practical Introduction

Linguistics and the Formal Sciences: The Origins of Generative Grammar: 110 (Cambridge Studies in Linguistics, Series Number 110)

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)

Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations: 01

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

Understanding Programming Languages

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

Clause and Effect: Prolog Programming for the Working Programmer

Logic and Language Models for Computer Science: Third Edition

Functional Structure in DP and IP: The Cartography of Syntactic Structures, Volume 1 (Oxford Studies in Comparative Syntax)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

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

Introduction to Programming Languages

Reflections on the Work of C.A.R. Hoare

The Development of Chomskyan Generative Grammar: From the Standard Theory to the Minimalist Program

Theories of Programming Languages

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

Theories of Programming Languages