Get Free Shipping on orders over $49
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

Claude For Dummies - Stephanie Diamond

RRP $44.95

$35.75

20%
OFF
MCP For Dummies - Wei-Meng Lee

RRP $65.95

$53.75

18%
OFF
AI-Ready Data - Andrew Madson

Paperback

RRP $65.95

$53.75

18%
OFF
Fine-Tuning Large and Small Language Models : Tech Today - Luca Massaron
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Hard to Replace : How to Stay Relevant in an Age of AI - James A. Hutcherson
Scaling Responsible AI : From Enthusiasm to Execution - Noelle Russell
The AI Instinct : The Future of AI and Human Decision-Making - Rana Gujral
The AI-driven Data Team : Improve Your Analytics with AI - Nicholas Kelly