Algebraic Approach To Compiler Design, An

By: Augusto Sampaio

Write A Review

Hardcover | 19 April 1997

At a Glance

Hardcover
204 Pages

Dimensions(cm)
22.23 x 15.88 x 1.91

Hardcover

RRP $171.99

$154.99

10%OFF

or 4 interest-free payments of $38.75 with

Ships in 15 to 25 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Compilers & Interpreters Computer Science Mathematical Theory of Computation Operating Systems Programming & Scripting Languages Software Engineering Booktopia Publisher Services World Scientific Publishing

Preface
Introduction	p. 1
Background	p. 17
The Reasoning Language	p. 29
A Simple Compiler	p. 63
Procedures, Recursion and Parameters	p. 89
Machine Support	p. 107
Conclusions	p. 133
A Scheme for Compiling Arrays	p. 145
Proof of Lemma 5.1	p. 149
Specification and Verification in OBJ3	p. 153
Bibliography	p. 177
Index	p. 183
Table of Contents provided by Blackwell. All Rights Reserved.

Algebraic Approach To Compiler Design, An

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Empire of AI

Inside the reckless race for total domination

How to Talk to AI

(And How Not To)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

We Are As Gods

A Survival Guide for the Age of Abundance

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Graduate Students in Data Science Consulting

A Blueprint for Success

Architecture, Media, Archives

The Fun Palace of Joan Littlewood and Cedric Price as a Cultural Project

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Digital Accessibility Ethics

Disability Inclusion in All Things Tech

The Accidental Architect

How I Built an AI-Powered IT Operation with No Code, No Budget, and No Idea What I Was Doing

Law Beyond Code

Technology and the Future of Normativity

What Every Cybersecurity Professional Must Master

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Thinking AI

How Artificial Intelligence Emulates Human Understanding

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Artificial Intelligence Driven Forensics

Signals and Communication Technology

AI and Data Science in Medical Research

New Developments and Advances

This product is categorised by