Andere Kunden interessierten sich auch für
![A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler]( "A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler")
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler41,00 €![Modular Programming Languages]( "Modular Programming Languages")
Modular Programming Languages42,99 €![Model Transformation Languages with Modular Information Hiding]( "Model Transformation Languages with Modular Information Hiding")
Model Transformation Languages with Modular Information Hiding48,00 €![Modular Programming with PHP 7]( "Modular Programming with PHP 7")
Modular Programming with PHP 759,99 €![Coordination Languages and Models]( "Coordination Languages and Models")
Coordination Languages and Models42,99 €![Java 17 Recipes]( "Java 17 Recipes")
Java 17 Recipes48,99 €![Java 13 Revealed]( "Java 13 Revealed")
Java 13 Revealed31,99 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.