论文信息 - SUIF program analysis using System Z2 - 字舞流文

SUIF program analysis using System Z2

Kwangkeun Yi | Kwang-Moo Choe | Hyunjun Eo | Seong-Hoon Kim | K. Choe | K. Yi | H. Eo | Seong-Hoon Kim

[1] Kwangkeun Yi,et al. Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs , 1997, SAS.

[2] Kwangkeun Yi,et al. Efficient computation of fixpoints that arise in complex program analysis , 1995, J. Program. Lang..

[3] Alain Deutsch,et al. Interprocedural may-alias analysis for pointers: beyond k-limiting , 1994, PLDI '94.

[4] Jyh-Herng Chow,et al. Compile-Time Analysis of Explicitly Parallel Programs , 1993 .