Index of Isabelle/HOL/Jinja/Slicing
Up
to index of Isabelle/HOL/Jinja
View
theory dependencies
View
document
View
outline
Theories
AuxLemmas
BasicDefs
CFG
CFG_wf
DataDependence
CFGExit
CFGExit_wf
PDG
Postdomination
StandardControlDependence
WeakControlDependence
WeakOrderDependence
ControlDependenceRelations
SemanticsCFG
DependentLiveVariables
BitVector
DynSlice
Observable
Distance
Slice
CDepInstantiations
Com
WCFG
Interpretation
Labels
WellFormed
Semantics
WEquivalence
SemanticsWellFormed
AdditionalLemmas
DynamicControlDependences
StaticControlDependences
JVMCFG
JVMInterpretation
JVMCFG_wf
JVMPostdomination
SemanticsWF
Slicing