1976 · 473 citations · 0 references
ComputingComputer ScienceComputer SystemsCompilersFormal MethodsProgramming LanguagesControl-flow AnalysisData-flow AnalysisRuntime EnvironmentsStatic AnalysisStatic Code AnalysisType CheckingDynamic Code AnalysisDynamic Program AnalysisDynamic Type CheckingRuntime SemanticsStatic Control-flow Analysis