Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

 

or
Sign in to turn on 1-Click ordering.
 
   
More Buying Choices
11 used & new from £30.40
Have one to sell? Sell yours here
 
   
An Algebraic Approach to Compiler Design: 4 (AMAST Series in Computing)
 
 
Share your own customer images
Search inside this book

An Algebraic Approach to Compiler Design: 4 (AMAST Series in Computing) (Hardcover)

by A. Sampaio (Author) "The development of reliable systems has been one of the main challenges to computing scientists ..." (more)
No customer reviews yet. Be the first.
RRP: £32.00
Price: £30.40 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
You Save: £1.60 (5%)
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In stock.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

Only 1 left in stock--order soon (more on the way).

Want guaranteed delivery by Tuesday, July 21? Choose Express delivery at checkout. See Details
7 new from £30.40 4 used from £41.01
Other Editions: RRP: Our Price: Other Offers:
Paperback (New edition) £1.00 £1.00 Order it used

Product details

  • Hardcover: 188 pages
  • Publisher: World Scientific Publishing Co Pte Ltd (28 Feb 1996)
  • Language English
  • ISBN-10: 9810223919
  • ISBN-13: 978-9810223915
  • Product Dimensions: 21.3 x 16 x 1.8 cm
  • Average Customer Review: No customer reviews yet. Be the first.
  • Amazon.co.uk Sales Rank: 2,139,378 in Books (See Bestsellers in Books)

    •  Would you like to update product info or give feedback on images?

Product Description

Product Description
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.
Inside This Book (Learn More)
First Sentence
The development of reliable systems has been one of the main challenges to computing scientists. Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Suggested Tags from Similar Products

 (What's this?)
Be the first one to add a relevant tag (keyword that's strongly related to this product)
Check a corresponding box or enter your own tags in the field below
compilers

Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.   Create your own review
Video reviews
Video reviews
New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

 Beta (What's this?)
This product's forum (0 discussions)
  Discussion Replies Latest Post
  No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
  [Cancel]

   

Look for similar items by category

Feedback

The Body Shop

The Body Shop - Vitamin C Skin Boost
Protect and boost your glow with The Body Shop Vitamin C Skin Boost.

›Shop The Body Shop

  

Make A Wish

Get what you want with an Amazon.co.uk Wish List Make sure you always get what you want with an Amazon.co.uk Wish List.

›More info on Wish Lists

  

A Close Shave

Philips Nivea Coolskin HS8060 Moisturizing Rotary Shaving System
For all types of hair removal, stay smooth with Amazon.co.uk.

›Discover Shaving & Hair Removal

  

Treat Someone

Amazon.co.uk Gift Certificates--available in any amount from £5 to £500 With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

  
Ad

Where's My Stuff?

Delivery and Returns

Need Help?

Your Recent History

  (What's this?)
You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.
Continue Shopping: Top Sellers

amazon.co.uk Amazon Home
International Sites:  United States  |  Germany  |  France  |  Japan  |  Canada  |  China
Business Programs: Sell on Amazon  |  Fulfilment by Amazon  |  Join Associates  |  Join Advantage
Customer Service  |  Help  |  View Basket  |  Your Account
About Amazon.co.uk  |  Careers at Amazon
Conditions of Use & Sale |  Privacy Notice  © 1996-2009, Amazon.com, Inc. and its affiliates