메뉴 건너뛰기




Volumn 2, Issue 2, 1988, Pages 225-244

Program parallelization with interprocedural analysis

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0040751128     PISSN: 09208542     EISSN: 15730484     Source Type: Journal    
DOI: 10.1007/BF00128178     Document Type: Article
Times cited : (12)

References (34)
  • 6
    • 0018018382 scopus 로고
    • A practical interprocedural data flow analysis algorithm
    • (1978) CACM , vol.21 , Issue.9 , pp. 724-736
    • Barth, J.1
  • 9
    • 84934067852 scopus 로고    scopus 로고
    • Cousot, P., and Halbwacks, N. 1978. Automatic discovery of linear restraints among variables of a program. Conf. Record of the 5-th Annual ACM Symp. on Principle of Program Languages, pp.84–96.
  • 11
    • 84934067853 scopus 로고    scopus 로고
    • Cooper, K. D. 1985. Analyzing aliases of reference formal parameters. Conf. Record of the 12th Annual ACM Symp. on Principle of Program Languages, pp.281–290.
  • 16
    • 84934067854 scopus 로고    scopus 로고
    • Kildall, G. 1973. A unified approach to program optimization. Conference Record of First ACM Symposium on Principles of Programming Languages, pp. 194–206.
  • 18
    • 84934067856 scopus 로고    scopus 로고
    • Kuck, D., Kuhn, R., Padua, D., Leasure, B., and Wolfe, M. 1981. Dependence graphs and compiler organizations. Proceedings of the 8th ACM Symp. on Principles of Programming Languages (POPL), (Williamsburg, Va., Jan.),pp.207–218.
  • 21
    • 84934067857 scopus 로고    scopus 로고
    • Li, Z., and Yew, P. 1988b. Interprocedural analysis for parallel computing. To appear in Proceedings of 1988 International Conference on Parallel Processing.
  • 23
    • 84934067858 scopus 로고    scopus 로고
    • Myers, E. 1981. A precise inter-procedural data flow algorithm. Conf. Record of the 8th Annual ACM Symp. on Principle of Program Languages, pp.219–230.
  • 25
    • 84934067840 scopus 로고    scopus 로고
    • Parafrase Analyzer Document. 1985. Center for Supercomputing Research and Development, University of Illinois at Urbana-Champaign.
  • 26
    • 84934067839 scopus 로고    scopus 로고
    • Reif, J. H., and Lewis, H. R. 1977. Symbolic evaluation and the global value graph. Conference Record of Fourth ACM Symposium on Principle of Program Languages, pp. 104–118.
  • 27
    • 0019621772 scopus 로고
    • Deciding linear inequalities by computing loop residues
    • (1981) JACM , vol.28 , Issue.4 , pp. 769-779
    • Shostak, R.1
  • 31
    • 84934067838 scopus 로고    scopus 로고
    • Wegman, M., and Zadeck, F. 1985. Constant propagation with conditional branches. Conf. Record of the 12th Annual ACM Symp. on Principle of Program Languages, pp.291–299.
  • 32
    • 84934067837 scopus 로고    scopus 로고
    • Wolfe, M., and Banerjee, U. 1986. Data dependence for parallelism detection.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.