Name: From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: (en Inglés)
SKU: 63266890
Price: 58.45 USD
Availability: InStock
Author: Daniel Wasserrab
ISBN: 9783866445949

portada From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: (en Inglés)

From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: (en Inglés)

Formato

Libro Físico

Editorial

Kit Scientific Publishing

Autor

Daniel Wasserrab

Idioma

Inglés

N° páginas

224

Encuadernación

Tapa Blanda

ISBN13

9783866445949

From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: (en Inglés)

Daniel Wasserrab (Autor) · Kit Scientific Publishing · Tapa Blanda

Libro Nuevo Importado

Envío: 26 a 33 días háb.

$ 97.41$ 58.45

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 58.45

Llega entre el 06 Nov y el 19 Nov a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "From Formal Semantics to Verified Slicing: A Modular Framework With Applications in Language Based Security: A Modular Framework With Applications in Language Based Security: (en Inglés)"

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.