KAIST Abstract Interpretation Workshop '97

Nov. 10-15, 1997, KAIST/CS Rm1404

ÇÁ·Î±×·¥ (.ps)

• What is abstract interpretation? An example of application to abstract debugging;
• An informal introduction to the theory of abstract interpretation;
• Elementary mathematical background for abstract interpretation: lattice theory and fixpoint approximation;
• Examples of elementary numerical abstract domain: sign analysis, constant propagation;
• Examples of expressive numerical abstract domains: intervals, linear inequalities, congruences, interval congruences, trapezoid congruences;
• The Galois connection approach to abstract interpretation;
• The widening/narrowing approach to abstract interpretation;
• Example of numerical analysis: linear inequality relations;
• Example of symbolic analysis: set/grammar based analysis;
• Combination of abstract interpretations;
• Completeness in abstract interpretation;
• Strictness analysis;
• Higher-order comportment analysis;
• Typing by abstract interpretation;
• Analysis of parallel programs;
• Combining model checking and abstract interpretation;
• Design of hierarchies of semantics;
• A commented bibliography on abstract interpretation.

Cousot paper¿Í ÀÚ·á