論文

• Fang Ling, 佐々政孝. 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証, 情報処理学会論文誌 プログラミング, Vol. 2, No. 4, pp. 35-52, Aug. 2009.

国際会議発表 (査読有り)

• Fang, L., Sassa, M.. Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference, Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009), Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009), Vol. 8, CD-ROM, Mar. 2009.
• Ling Fang, MASATAKA SASSA. Generating Java Compiler Optimizers Using Bidirectional CTL, 6th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2007), Electronic Notes in Theoretical Computer Science, Vol. 190, No. 4, pp. 49-63, Nov. 2007.

国内会議発表 (査読有り)

• 方玲, 佐々政孝. 双方向CTLによるJava 最適化器の生成, 情報処理学会論文誌：プログラミング, Vol. 48, No. SIG 10 (PRO 33), pp. 76-89, June 2007.

国内会議発表 (査読なし・不明)

• FangLing, 佐々政孝. 自動的等価性差分の抽出によるSSAコンパイラ最適化器の正しさの検証, 日本ソフトウェア科学会大会論文集，第２５回，7A-1, Sept. 2008.
• 方玲, 佐々政孝. 双方向CTLによるJava最適化器の生成, 日本ソフトウェア科学会大会論文集 第23回 1B-3, Sept. 2006.

その他の論文・著書など

• FangLing, 佐々政孝. 双方向CTLによるJava最適化器の生成, Research Report, Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology, C-230, Nov. 2006.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]