Name: An Algebraic Approach to Compiler Design (en Inglés)
SKU: 25305950
Price: 133420.00 CLP
Availability: InStock
Author: Sampaio, Augusto
ISBN: 9789810223915

portada An Algebraic Approach to Compiler Design (en Inglés)

An Algebraic Approach to Compiler Design (en Inglés)

Formato

Libro Físico

Autor

Augusto Sampaio

Editorial

World Scientific Publishing Company

Año

1997

Idioma

Inglés

N° páginas

204

Encuadernación

Tapa Dura

Dimensiones

21.8x15.7x1.8 cm

Peso

0.41 kg.

ISBN

9810223919

ISBN13

9789810223915

Categorías

Lenguajes de programación y extensión/scripting: general
Ciencias de la computación

An Algebraic Approach to Compiler Design (en Inglés)

Augusto Sampaio (Autor) · World Scientific Publishing Company · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 24 días háb.

$ 242.590$ 133.420

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 133.420

Llega entre el 19 Oct y el 23 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "An Algebraic Approach to Compiler Design (en Inglés)"

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.