Murakami Sale
 
 

Recently Viewed clear list


Original Essays | August 18, 2014

Ian Leslie: IMG Empathic Curiosity



Today, we wonder anxiously if digital media is changing our brains. But if there's any time in history when our mental operations changed... Continue »
  1. $18.89 Sale Hardcover add to wish list

spacer
Qualifying orders ship free.
$99.25
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Compilers

Other titles in the Lecture Notes in Artificial Intelligence series:

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Vol. 128

by

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Vol. 128 Cover

 

Synopses & Reviews

Publisher Comments:

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.

Description:

Includes bibliographical references (p. [239]-243) and index.

Product Details

ISBN:
9783540634065
Author:
Muller-Olm, Markus
Publisher:
Springer
Author:
Markus M
Author:
Muller-Olm
Author:
ller-Olm, Markus
Author:
M
Author:
Mller-Olm, Markus
Author:
&
Author:
uuml
Author:
Muller-Olm, Markus
Author:
ller-Olm
Author:
Ma1/4ller-Olm, Markus
Location:
Berlin, Heidelberg
Subject:
Programming Languages - General
Subject:
Computer software
Subject:
Compilers
Subject:
Compilers (computer programs)
Subject:
Computer software -- Verification.
Subject:
Programming - Systems Analysis & Design
Subject:
Software Development & Engineering - Systems
Subject:
compiler construction
Subject:
Data refinement
Subject:
embedded real-time systems
Subject:
Software Design.
Subject:
Verification
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Software engineering
Subject:
Logics and Meanings of Programs
Subject:
Special Purpose and Application-Based Systems
Subject:
Software Engineering-Compilers
Subject:
Computer Science
Subject:
Language, literature and biography
Subject:
Logic Design
Copyright:
Edition Description:
Book
Series:
Lecture Notes in Computer Science
Series Volume:
1283
Publication Date:
19970931
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
272
Dimensions:
235 x 155 mm 880 gr

Related Subjects

Computers and Internet » Software Engineering » Compilers
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Systems Analysis and Design

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction, Vol. 128 New Trade Paper
0 stars - 0 reviews
$99.25 In Stock
Product details 272 pages Springer-Verlag New York, Incorporated - English 9783540634065 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.