Acta Informatica · 1984 · 75 citations · 2 references
ComputingComputer EngineeringComputer ScienceAlgorithmsProgramming LanguagesControl-flow AnalysisData-flow AnalysisStatic Analysis
2
David Harel · Communications of the ACM · 1980 · 118 citations · Full text