Mohlo by se vám také líbit

Více informací o knize Modular Compiler Verification

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 167 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Modular Compiler Verification
• Podnázev: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
• Autor: Markus Müller-Olms
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 260
• EAN: 9783540634065
• ISBN: 3540634061
• ID: 01566446
• Nakladatelství: Springer, Berlin
• Hmotnost: 414 g
• Rozměry: 234 × 156 × 14 mm
• Rok vydání: 1997

Oblíbené z jiného soudku

---

---

---