On the Recognition of Algorithm Templates, International Workshop on Compilers Optimization Meets Compiler Verification, 2003. ,
DOI : 10.1016/S1571-0661(05)82599-X
Context-free languages and push-down automata, Handbook of Formal Languages, 1997. ,
On the Equivalence of Two Systems of Affine Recurrence Equations, 2001. ,
DOI : 10.1007/3-540-45706-2_40
URL : https://hal.archives-ouvertes.fr/inria-00072302
On the Equivalence of Two Systems of Affine Recurrence Equations, 8th International Euro-Par Conference, p.309, 2002. ,
DOI : 10.1007/3-540-45706-2_40
URL : https://hal.archives-ouvertes.fr/inria-00072302
The concept assignment problem in program understanding, 15th International Conference on Software Engineering, 1993. ,
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
Scheduling and automatic Parallelization, 2000. ,
DOI : 10.1007/978-1-4612-1362-8
URL : https://hal.archives-ouvertes.fr/hal-00856645
Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991. ,
DOI : 10.1145/360827.360844
URL : http://www.prism.uvsq.fr/public/paf/dataflow.ps
Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.2, issue.4, pp.389-420, 1992. ,
DOI : 10.1007/BF01379404
A unification algorithm for typed ??-calculus, Theoretical Computer Science, vol.1, issue.1, pp.27-57, 1975. ,
DOI : 10.1016/0304-3975(75)90011-0
URL : https://doi.org/10.1016/0304-3975(75)90011-0
Transitive Closure of Infinite Graphs and Its Applications, International Journal of Parallel Programming, vol.36, issue.12, pp.579-598, 1996. ,
DOI : 10.1145/209936.209952
The generic graph component library, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.399-414, 1999. ,
DOI : 10.1145/320385.320428
PAP Recognizer: a tool for automatic recognition of parallelizable patterns, WPC '96. 4th Workshop on Program Comprehension, pp.164-174, 1996. ,
DOI : 10.1109/WPC.1996.501131
Array dataflow analysis and its use in array privatization, In ACM Symp. on Principles of Programming Languages, pp.2-15, 1993. ,
DOI : 10.1145/158511.158515
Automatic Algorithm Recognition: A New Approach to Program Optimization, 2000. ,
Revealer: a lexical pattern matcher for architecture recovery, Ninth Working Conference on Reverse Engineering, 2002. Proceedings., 2002. ,
DOI : 10.1109/WCRE.2002.1173075
The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.4-13, 1991. ,
DOI : 10.1145/125826.125848
Experience with FADE for the visualization and abstraction of software views, Proceedings 10th International Workshop on Program Comprehension, 2002. ,
DOI : 10.1109/WPC.2002.1021304
Detection of scans in the polytope model. Parallel Algorithms and Applications, pp.229-263, 2000. ,
Computability of recurrence equations, Theoretical Computer Science, vol.116, issue.2, pp.317-337, 1993. ,
DOI : 10.1016/0304-3975(93)90326-O
URL : https://hal.archives-ouvertes.fr/inria-00075355
Geometric Model Checking, International Workshop on Compilers Optimization Meets Compiler Verification, 2002. ,
DOI : 10.1016/S1571-0661(04)80397-9
URL : https://doi.org/10.1016/s1571-0661(04)80397-9
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra, ISCOPE, pp.59-70, 1998. ,
DOI : 10.1145/42288.42292
Derivation of systolic algorithm path problem by recurrence transformations, Parallel Computing, 2000. ,
An open visualization toolkit for reverse architecting, Proceedings 10th International Workshop on Program Comprehension, 2002. ,
DOI : 10.1109/WPC.2002.1021303
URL : http://iwi.eldoc.ub.rug.nl/FILES/root/2002/ProcIWPCTelea/2002ProcIWPCTelea.pdf
Automated Program Recognition by Graph Parsing, 1992. ,
DOI : 10.21236/ADA259609