Amast Computing

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 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.

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.

Amast Computing

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Cloud-Native Modernization Unleashed

Revolutionizing Legacy Systems with Spring, AI, Cloud, and Microservices

Advances in Computational Intelligence. MICAI 2025 International Workshops

HIS 2025, CIAPP 2025, WILE 2025, CHARAL 2025, ECSI 2025 Workshops, Guanajuato, Mexico, November 3â"7, 2025, Proceedings, Part I

Fit for Uncertainty

Lead with Purpose, Adapt to Change

The Ghidra Book, 2nd Edition

The Definitive Guide

The Essence of Software Engineering

Site Reliability Engineering

How Google Runs Production Systems

C# 12 in a Nutshell

The Definitive Reference

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

User Story Mapping

Discover the Whote Story, Build the Right Product

AI and ML for Coders in Pytorch

A Coder's Guide to Generative AI and Machine Learning

Coding All-in-One For Dummies

2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino For Dummies

Blackwell Philosophy Anthologies

Hacking For Dummies

For Dummies (Computer/Tech)

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Typescript Cookbook

Real World Type-Level Programming

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Information and Communication Systems

Navigating Performance Engineering

The Collapse of Performance Value

This product is categorised by