Get Free Shipping on orders over $0
Lecture Notes in Computer Science : A Refinement-Algebraic Approach Advocating Stepwise Abstraction - Markus Müller-Olm

Lecture Notes in Computer Science

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

By: Markus Müller-Olm

Paperback | 6 August 1997

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

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.

More in Expert Systems & Knowledge-Based Systems

AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
Scaling Responsible AI : From Enthusiasm to Execution - Noelle Russell
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Artificial Intelligence For Dummies : For Dummies (Computer/Tech) - John Paul Mueller
Before, After, and Beyond AlphaGo - Woosuk Park

RRP $252.00

$219.75

13%
OFF
The Introduction of Artificial Intelligence into Legal Systems - Michele Di Salvo