1979 · 1.6K citations · 12 references
ComputingComputer EngineeringComputer ScienceCompilersProgramming LanguagesSoftware EngineeringControl-flow AnalysisData-flow AnalysisSemantic AnalysisStatic Code AnalysisType CheckingType SystemsBinary Control-flow AnalysisInterprocedural Data-flow AnalysisIntraprocedural Data-flow AnalysisProgram OptimizationProgram VerificationSemantic Code Analysis
Semantic analysis of programs is essential in optimizing compilers and program verification systems. It encompasses data flow analysis, data type determination, generation of approximate invariant assertions, etc.
12
Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations
Automatic discovery of linear restraints among variables of a program
Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations
A unified approach to global program optimization
Gary A. Kildall · 1973 · 901 citations
Monotone data flow analysis frameworks
John B. Kam, Jeffrey D. Ullman · Acta Informatica · 1977 · 380 citations
A Fast and Usually Linear Algorithm for Global Flow Analysis
Susan L. Graham, Mark N. Wegman · Journal of the ACM · 1976 · 187 citations · Full text