Modular compiler verification
Markus Müller-Olm
Reading Time
at 250 WPM4h 10m
The average reader, reading at a speed of 250 WPM, would take 4h 10m to read Modular compiler verification.
Personalise your estimate by entering your reading speed below
Test my reading speedEnter speed in words per minute
9
days at 30 min/day
250
total minutes
Modular compiler verification
Published
1997
Publisher
Springer
Pages
250
ISBN-10
3540634061
Description
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.
Subjects
Fundamentals of Computer Programming with CSharp Free Book (by Nakov & Co.)
Compilers, principles, techniques, and tools
Programming Language Concepts
Programming Language Translation
Floating-point computation
Introduction to Assembly Language Programming
Frequently Asked Questions
How many pages are in Modular compiler verification?
This edition of Modular compiler verification has approximately 250 pages. Please note, this is an estimate and the exact page count can vary between hardcover, paperback, and e-book versions.
How long does it take to read Modular compiler verification?
For most readers, Modular compiler verification typically takes between 5h 13m and 3h 28m to complete. This is based on the book's length of approximately 62,500 words and common reading speeds.
Here's a detailed breakdown: • Continuous reading at 250 WPM: approximately 4h 10m of focused reading • Casual reading (30 minutes/day): you could finish in roughly 9 days • Estimated word count: 62,500 words
Your individual reading time will vary based on your personal reading pace, the amount of daily reading time, and your familiarity with the subject matter.
What is the word count of Modular compiler verification?
The estimated word count for Modular compiler verification is approximately 62,500 words. This figure is calculated using industry-standard methods that consider genre-specific word density patterns, typical formatting and layout characteristics, and standard words-per-page ratios for published books.
This is an approximation — actual word count may vary based on font size, formatting, edition, and the presence of illustrations or charts.
Who is the author of Modular compiler verification?
Modular compiler verification was written by Markus Müller-Olm.
When was Modular compiler verification published?
The publication date for this specific edition is 1997. The original work may have been published on a different date.