From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

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...

Full description

Autores:
Tipo de recurso:
Book
Fecha de publicación:
2011
Institución:
Universidad de Bogotá Jorge Tadeo Lozano
Repositorio:
Expeditio: repositorio UTadeo
Idioma:
eng
OAI Identifier:
oai:expeditiorepositorio.utadeo.edu.co:20.500.12010/17577
Acceso en línea:
https://directory.doabooks.org/handle/20.500.12854/48105
http://hdl.handle.net/20.500.12010/17577
Palabra clave:
Formal Semantics
Slicing
Theorem Proving
Web semántica
Ontologías (Recuperación de información)
Redes semánticas (Teoría de la información)
Rights
License
Abierto (Texto Completo)