Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

By: Markus MÃ¼ller-Olm

Write A Review

Paperback | 6 August 1997

At a Glance

Paperback
280 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.

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 $79.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 Software Engineering Software Testing & Verification Compilers & Interpreters Programming & Scripting Languages Computer Science Systems Analysis & Design Computer Architecture & Logic Design Artificial Intelligence Expert Systems & Knowledge-Based Systems

Introduction	p. 1
Complete Boolean Lattices	p. 9
Galois Connections	p. 15
States, Valuation Functions and Predicates	p. 23
The Algebra of Commands	p. 39
Communication and Time	p. 85
Data Refinement	p. 105
Transputer Base Model	p. 113
A Small Hard Real-Time Programming Language	p. 127
A Hierarchy of Views	p. 135
Compiling-Correctness Relations	p. 179
Translation Theorems	p. 189
A Functional Implementation	p. 215
Conclusion	p. 233
References	p. 239
Index	p. 245
Table of Contents provided by Blackwell. All Rights Reserved.

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

FORTRAN Programming in Easy Steps

In Easy Steps

Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Modern Compiler Design

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Applied Mathematics With F#

Practical Microservices Architectural Patterns

Build Highly Scalable Distributed Applications With Spring Boot 3 and Spring Cloud

Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings

Metaprogramming Elixir

Language Implementation Patterns

Pragmatic Programmers

Modern Systems Programming with Scala Native

C# Programming in easy steps

Master C# fundamentals!

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Compilers

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Compiler Design Using Kotlinâ¢

An Object-Oriented Approach

Constructivity in Computer Science

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

Programmer's Guide to FORTRAN 90

Algebraic Approach To Compiler Design, An

Amast Series

Logic Program Synthesis and Transformation

5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Programming Languages

Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

This product is categorised by