Algebraic Approach To Compiler Design, An

Name: Algebraic Approach To Compiler Design, An
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789810223915
Price: 493.91 RON
Availability: InStock

Autor: A. Sampaio

Limbă:

Legare: Copertă tare

Editura: World Scientific Publishing Co Pte Ltd

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

493.91 lei

This work investigates the design of compilers for procedural languages, based on the algebraic laws...

Informații despre carte

Autor

A. Sampaio

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1996

Pagini

204

EAN

9789810223915

ISBN

9810223919

Enbook ID

05065239

Editura

World Scientific Publishing Co Pte Ltd

Greutate

408

Dimensiuni

157 x 218 x 18

Descriere completă

This work 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 acheived 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 formalized within a single and uniform semantic framework of a procedural language and its algebraic laws. Furthermore, by mechanizing 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Algebraic Approach To Compiler Design, An

Informații despre carte

Descriere completă

S-ar putea să te intereseze

LLVM Essentials

WILD DREAMS ANIMAL ORACLE

Feeding and Management of Foals and Growing Horses

Vastu: The Ultimate Guide to Vastu Shastra and Feng Shui Remedies for Harmonious Living

Evolve Level 6 Video Resource Book with DVD

Compiler Design: Principles, Techniques and Tools

Accelerator Programming Using Directives

Twice Born: The beauty of baptism explained in joyful verse and engaging childlike images

What Jesus Saw from the Cross

Linguistic Perspectives on English Grammar

U.S. Supreme Court Transcripts of Record James Clark Distilling Co V. Western Maryland R Co

Variowin

Compilers: Principles, Techniques, and Tools

Clienții care au cumpărat această carte au mai cumpărat și

EMV

SMED

Developpement d'Un Cadre Pour l'Evaluation de la Sante de la Faune

Deux personnes seules au monde

Compliance Management durch IT Governance

Cultivating Systemic Resilience in Therapy