{"product_id":"from-formal-semantics-to-verified-slicing-a-modular-framework-with-applications-in-language-based-security-von-daniel-wasserrab","title":"From formal semantics to verified slicing : a modular framework with applications in language based security","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783866445949\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783866445949","offer_id":39457517928541,"sku":"9783866445949","price":37.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/110e1187-e404-4db5-a920-2b50ee6a6f9e.jpg?v=1773470529","url":"https:\/\/shop.autorenwelt.de\/products\/from-formal-semantics-to-verified-slicing-a-modular-framework-with-applications-in-language-based-security-von-daniel-wasserrab","provider":"Autorenwelt Shop","version":"1.0","type":"link"}