Knygos.lt nariams
Knygos.lt nariams
- Išsiųsime per 12–18 d.d.
/images/books/13444978/9783866445949.jpg)
- Autorius: Daniel Wasserrab
- Leidėjas: Karlsruher Institut für Technologie
- ISBN-10: 3866445946
- ISBN-13: 9783866445949
- Formatas: 14.8 x 21 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
Atsiliepimai
Aprašymas
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
- Autorius: Daniel Wasserrab
- Leidėjas: Karlsruher Institut für Technologie
- ISBN-10: 3866445946
- ISBN-13: 9783866445949
- Formatas: 14.8 x 21 x 1.2 cm, minkšti viršeliai
- Kalba: Anglų
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
Atsiliepimai