Logical Abstract Interpretation

• Sumit Gulwani

Lectures given in a graduate class on Static Program Analysis at UCLA and at IISc-Bangalore | March 2008