| book details |

Algebraic Approach To Compiler Design, An

By (author) Augusto Sampaio

This book is currently unavailable. Enquire to check if we can source a used copy

| enquire |

| book description |

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.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340,95
now: R 306,95
Forthcoming

Let's stare the future down and, instead of fearing AI, become solutionists.

| more |

| add to trolley |

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425,95
now: R 382,95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

| more |

| add to trolley |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295,95
now: R 265,95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |