Литература по межпроцедурному анализу программ
- 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.
© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
