Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL.

Daniel Wasserrab Andreas Lochbihler

Published in: TPHOLs (2008)

Keyphrases

theorem prover
main contribution
dynamic environments
dynamic networks
graph theoretic
dynamically select
neural network
multi agent systems