Compiler Specification and Verification (Lecture Notes in Computer Science)
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In... | | The Autobiography of Malcolm X: As Told to Alex HaleyMalcolm X's searing memoir belongs on the small shelf of great autobiographies. The reasons are many: the blistering honesty with which he recounts his transformation from a bitter, self-destructive petty criminal into an articulate political activist, the continued relevance of his militant analysis of white racism, and his emphasis on... | | Microsoft System Center Data Protection Manager 2012 SP1
Written by a team of Microsoft System Center Most Valued Professionals (MVPs), this is the ultimate guide to using Data Protection Management (DPM) to safeguard your organization's valuable information. Packed with tips and real-life solutions.
Overview
-
Practical guidance that will help you get the...
|