Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | KIT Scientific Publishing |
| Ersterscheinung | 30. März 2011 |
| Maße | 21 cm x 14.8 cm |
| Gewicht | 350 Gramm |
| Format | Softcover |
| ISBN-13 | 9783866445949 |
| Seiten | 203 |
Schlagwörter
Bekannt durch
