Deep Blue (University of Michigan) · 1979 · 349 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSoftware EngineeringAbstract Syntax TreesControl-flow AnalysisData-flow AnalysisSoftware ConstructionSoftware DesignType SystemsAbstract SemanticsAbstractionAbstraction MechanismsInterprocedural AnalysisProgram Dependence GraphsProgram RepresentationProgram Slicing
PhD