ComputingComputer EngineeringComputer ScienceProgramming LanguagesAbstract Syntax TreesControl-flow AnalysisData-flow AnalysisDuplicate DetectionClone DetectionCode Clone DetectionSemantic Duplicate Detection
In this paper, we propose a new semantic clone detection technique by comparing programs' abstract memory states, which are computed by a semantic-based static analyzer.
34
The Hungarian method for the assignment problem
Harold W. Kuhn · Naval Research Logistics Quarterly · 1955 · 12.6K citations
Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations
A theory of type polymorphism in programming
Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text