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 Languages39,99 €![Model Transformation Languages with Modular Information Hiding]( "Model Transformation Languages with Modular Information Hiding")
Model Transformation Languages with Modular Information Hiding48,00 €![OSGI in Action: Creating Modular Applications in Java]( "OSGI in Action: Creating Modular Applications in Java")
OSGI in Action: Creating Modular Applications in Java51,99 €![Modular Programming with PHP 7]( "Modular Programming with PHP 7")
Modular Programming with PHP 755,99 €![Coordination Languages and Models]( "Coordination Languages and Models")
Coordination Languages and Models39,99 €![Java 17 Recipes]( "Java 17 Recipes")
Java 17 Recipes48,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.