Speaker:Byeong-Mo Chang
Time:1999-11-01 14:00:00
Place:Rm.3207, Industrial Management Bldg./KAIST


This talk will introduce several set-based analyses(SBA) for Java programs such as class analysis and exception analysis, and a framework for approximating expression-level SBAs. SBA at expression-level is not very practical for large Java programs, so that we need more practical analyses, even though they give us approximate solutions of expression-level SBA. In this talk, I will introduce a framework for SBAs for approximating expression-level SBA, and describe SBAs already introduced based on the framework.

[ List ]