Theory Slicing

Up to index of Isabelle/HOL/Jinja/Slicing

theory Slicing
imports DynSlice ControlDependenceRelations DynamicControlDependences NonInterferenceWhile JVMControlDependences SemanticsWF
theory Slicing
imports
  "Basic/Postdomination"
  "Basic/CFGExit_wf"
  "Basic/SemanticsCFG"
  "Dynamic/DynSlice"
  "StaticIntra/CDepInstantiations"
  "StaticIntra/ControlDependenceRelations"
  "While/DynamicControlDependences"
  "While/NonInterferenceWhile"
  "JinjaVM/JVMControlDependences" 
  "JinjaVM/SemanticsWF"
begin

end