Art

J-GLOBAL ID：200902241491518544   Reference number：08A0093960

A Generalized Method for Realizing PRE on SSA Form

静的単一代入形式上で通常形式部分冗長除去を実現する汎用的手法

Author (3)： IMAHASHI TAKANORI (東京工大 大学院情報理工学研究科) ,  ITO YO (東京工大 大学院情報理工学研究科) ,  SASSA MASATAKA (東京工大 大学院情報理工学研究科)
Material： 情報処理学会論文誌  (IPSJ Journal)
Volume： 49  Issue： SIG1(PRO35)  Page： 84-95  Publication year： Jan. 15, 2008 
JST Material Number： Z0778A  ISSN： 0387-5806  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *program transformation ,...
Semi thesaurus term： SSA形式 ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=08A0093960&from=J-GLOBAL&jstjournalNo=Z0778A") }}

JST classification (2)： Language processors  (JD03040F) ,  Computer system development  (JD02010R)

Reference (20)：

• Alpern, B., Wegman, M. N. and Zadeck, F. K.: Detecting equality of variables in programs, POPL ’88: Proc.15th ACM SIGPLAN SIGACT symposium on Principles of programming languages, pp. 1-11, ACM Press, New York, NY, USA (1988).
• Appel, A. W. and Palsberg, J.: Modern Compiler Implementation in Java, 2nd ed, Cambridge University Press (2002).
• Bodfk, R., Gupta, R. and Soffa, M.: Complete removal of redundant expressions, SIGPLAN Not., Vol.39, No.4, pp. 596-611(2004).
• Briggs, P. and Cooper, K. D.: Effective partial redundancy elimination, SIGPLAN Conference on Programming Language Design and Implementation, pp. 159-170(1994).
• Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N. and Zadeck, F. K.: Efficiently computing static single assignment form and the control dependence graph, ACM Trans. Prog. Lang. Syst., Vol.13, No.4, pp. 451-490 (Oct.1991).

Terms in the title (5)： 静的単一代入形式 ,  形式 ,  冗長 ,  汎用 ,  手法