|
|
Sold Out
Book Categories |
| 1 | Introduction | 1 |
| 2 | Complete Boolean Lattices | 9 |
| 3 | Galois Connections | 15 |
| 4 | States, Valuation Functions and Predicates | 23 |
| 5 | The Algebra of Commands | 39 |
| 6 | Communication and Time | 85 |
| 7 | Data Refinement | 105 |
| 8 | Transputer Base Model | 113 |
| 9 | A Small Hard Real-Time Programming Language | 127 |
| 10 | A Hierarchy of Views | 135 |
| 11 | Compiling-Correctness Relations | 179 |
| 12 | Translation Theorems | 189 |
| 13 | A Functional Implementation | 215 |
| 14 | Conclusion | 233 |
| References | 239 | |
| Index | 245 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Carrie Funston
reviewed Modular Compiler Verification, Vol. 128 on June 27, 2014
Modular Compiler Verification, Vol. 128
It is in my sylabbux
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Modular Compiler Verification, Vol. 128
X
This Item is in Your Inventory
Modular Compiler Verification, Vol. 128
X
You must be logged in to review the productsX
X
X
Add Modular Compiler Verification, Vol. 128, 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 modulari, Modular Compiler Verification, Vol. 128 to the inventory that you are selling on WonderClubX
X
Add Modular Compiler Verification, Vol. 128, 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 modulari, Modular Compiler Verification, Vol. 128 to your collection on WonderClub |
