ИНФОРМАЦИЯ 

Литература по межпроцедурному анализу программ

1
А.С. Антонов, Вл.В. Воеводин, В.М. Репин. Алгоритм канонизации описания структуры программ в рамках линейной модели//// В сборнике НИВЦ МГУ "Численные методы анализа" (под ред. Н.С. Бахвалова, В.В. Морозова). Изд-во МГУ, 1997. С. 106-119.
2
А.С. Антонов. Современные методы межпроцедурного анализа программ// Программирование, 1998 г. N 5. С. 3-14.
3
А.С. Антонов, Вл.В. Воеводин. Новый подход к построению методов межпроцедурного анализа программ// Материалы международной конференции УкрПРОГ-98. Киев, Украина, 1998. С. 77-84.
3
А.С. Антонов. Новый подход к межпроцедурному анализу программ// Диссертация на соискание ученой степени кандидата физико-математических наук.
4
В.А. Евстигнеев, В.А. Серебряков Методы межпроцедурного анализа (обзор)// Программирование. 1992. N 3. С. 4-15.
5
V. Balasundaram, K. Kennedy A Technique for Summarizing Data Access and Its Use in Parallelism Enhancing Transformation// In Proceedings of the 1989 ACM SIGPLAN Conference on Programming Language Design and Implementation. Vol. 24. 7. pp. 41-53. Portland, Orgen. June 1989.
6
M. Burke, R. Cytron Interprocedural Dependence Analysis and Parallelisation// ACM SIGPLAN'86 Symposium on Compiler Construction. Vol. 21. 7. pp. 162-175. June 1986.
7
D. Callahan, K. Kennedy Analysis of Interprocedural Side Effects in a Parallel Programming Environment// Journal of Parallel and Distributed Computing. Vol. 5. pp. 517-550. Oktober 1988.
8
D. Callahan A Global Approach to Detection of Parallelism// PhD thesis. Rice University. Comp. Sci. Tech. Rep. TR87-50. March 1987.
9
A. Carle, M. W. Hall, J. Mellor-Crummey, R. Rodriguez FIAT: A Framework for Interprocedural Analysis and Transformation// Rice University. CRPC Tech. Rep. TR95522-S. March 1995.
10
D. Callahan, K. D. Cooper, R. T. Hood, K. Kennedy, L. Torczon ParaScope: A Parallel Programming Environment// The International Journal Supercomputer. Vol. 2. 4. pp. 84-99. 1988.
11
S.-E. Choi An Overview of Compiler Techniques for Interprocedural Array Section Analysis// University of Washington. Tech. Rep. 95-11-06. November 1995.
12
B. Creusillet, F. Irigoin Interprocedural Array Region Analyses// Eighth International Workshop on Languages and Compilers for Parallel Computing. pp.4-1 to 4-15. Colombus (Ohio), USA. August 1995.
13
B. Creusillet IN and OUT Array Region Analyses// Fifth Workshop on Compilers for Parallel Computers. Malaga, Spain. June 1995.
14
P. Havlak, K. Kennedy An Implementation of Interprocedural Bounded Regular Section Analysis// IEEE Transactions on Parallel and Distributed Systems. Vol. 2. 3. pp. 350-360. July 1991.
15
F. Irigoin, P. Jouvelot, R. Triolet Semantical Interprocedural Parallelisation: An Overview of the PIPS Project// ACM International Conference on Supercomputing, ICS'91. Cologne, Allemagne. June 1991.
16
Z. Li, P.-C. Yew Efficient Interprocedural Analysis for Program Parallelisation and Restructuring// In Proceedings of ACM SIGPLAN Symposium on Parallel Programming: Experience with Applications, Languages and Systems. Vol. 23. 9. pp. 85-99. July 1988.
17
Z. Li, P.-C. Yew Interprocedural Analysis and Program Restructuring for Parallel Programs// CSRD Tech. Rep. 720. January 1988.
18
Z. Li, P.-C. Yew Interprocedural Analysis for Parallel Computing// Proceedings of the 1988 International Conference on Parallel Processing. Vol. 2. pp. 221-228. August 1988.
19
D. E. Maydan, J. L. Hennessy, M. S. Lam. Efficient and Exact Data Dependence Analysis// Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation.
20
L. Pointer. Perfect: Performance Evaluation for Cost-Effective Transformations Report 2// CSRD Tech. Rep. 1990. N964.
21
W. Pugh. A Practical Algorithm for Exact Array Dependence Analysis// Communications of the ACM. Vol. 35, 8. pp. 102-114. August 1992.
22
S. Richardson, M. Ganapathi Interprocedural Analysis Useless for Code Optimization// Stanford University. Tech. Rep. CSL-TR-87-342. November 1987.
23
R. W. Scheifler An Analysis of Inline Substitution for a Structured Programming Language// Communications of the ACM. Vol. 20. 9. September 1977.
24
D. A. Schouten An Overview of Interprocedural Analyses Techniques for High Performance Parallelizing Compilers// Univ. of Illinois at Urbana-Champaign. CSRD Tech. Rep. 1005. May 1990.
25
P. Tang Exact Side Effects for Interprocedural Dependence Analysis// Australian National University. Tech. Rep. TR-CS-92-15. November 1992.
26
R. Triolet, F. Irigoin, P. Feautrier Direct Parallelism of Call Statements// In Proceedings of the ACM SIGPLAN'86 Symposium on Compiler Construction. SIGPLAN Notices. Vol. 21. 7. pp. 176-185. June 1986.

© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
Rambler's Top100