Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Algebraic Approach To Compiler Design, An A. Sampaio

Algebraic Approach To Compiler Design, An

Szerző: A. Sampaio
Nyelv: Angol
Kötés: Kemény kötésű
Kiadó: World Scientific Publishing Co Pte Ltd
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
34 187 Ft
This work investigates the design of compilers for procedural languages, based on the algebraic laws...

Információk a könyvről

Szerző
A. Sampaio
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1996
oldal
204
EAN
9789810223915
ISBN
9810223919
Enbook ID
05065239
Kiadó
World Scientific Publishing Co Pte Ltd
Súly
408
Méretek
157 x 218 x 18

Teljes leírás

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.

Érdekelheti

LLVM Essentials

Suyog Sarda
10 290 Ft

WILD DREAMS ANIMAL ORACLE

WALDEN KELLY SULLIVAN
11 098 Ft

Feeding and Management of Foals and Growing Horses

Markku Saastamoinen
52 562 Ft

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

Mari Silva
5 054 Ft

Evolve Level 6 Video Resource Book with DVD

Christina de la Mare
9 768 Ft

Compiler Design: Principles, Techniques and Tools

TERENCE HALSEY
44 946 Ft

Accelerator Programming Using Directives

Sunita Chandrasekaran
16 165 Ft

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

Mrs Margie Therese Galliver
4 826 Ft

What Jesus Saw from the Cross

A. G. Sertillanges
5 661 Ft

Linguistic Perspectives on English Grammar

Martin J. Endley
27 535 Ft

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

U. S. Supreme Court
10 647 Ft

Variowin

Yvan Pannatier
18 844 Ft

Compilers: Principles, Techniques, and Tools

A. V. Aho
36 691 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

EMV

Anton Kohling
36 325 Ft

SMED

Bert Teeuwen
10 049 Ft

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

Jamot-E
31 977 Ft

Deux personnes seules au monde

Young-ha KIM
6 598 Ft

Compliance Management durch IT Governance

Hannes Hausegger
17 129 Ft

Cultivating Systemic Resilience in Therapy

Raquel Martin
18 076 Ft