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