| | |
Summary: Algorithm Recognition based on Demand-Driven Dataflow Analysis
Christophe Alias
PRiSM
U. of Versailles Saint-Quentin
Versailles, France
Christophe.Alias@prism.uvsq.fr
Denis Barthou
PRiSM
U. of Versailles Saint-Quentin
Versailles, France
Denis.Barthou@prism.uvsq.fr
Abstract
Algorithm recognition is an important problem in pro-
gram analysis, optimization, and more particularly pro-
gram comprehension. Basically, one would like to submit
a piece of code, and get an answer like "Lines 10 to 23 are
an implementation of Gauss-Jordan elimination". Existing
approaches often perform a bottom-up recognition, using a
database describing many implementation variations of a
given algorithm, in a format making them difficult to main-
|