论文信息 - Static Program Analysis CS701

Static Program Analysis CS701

This lecture introduces the area of static program analysis. We introduce the topics to be reviewed in this unit, and say a bit about abstract interpretation.

Thomas W. Reps | Aditya Venkataraman

[1] G. Ramalingam,et al. Context-sensitive synchronization-sensitive analysis is undecidable , 2000, TOPL.

[2] G. Ramalingam,et al. The undecidability of aliasing , 1994, TOPL.

[3] Thomas W. Reps,et al. Undecidability of context-sensitive data-dependence analysis , 2000, TOPL.

[4] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 1999, POPL '99.