The University of Arizona
banner image

Analysis and Optimization of Logic Programs

These are slides from a two-week course, on analysis and optimization of logic programs, that I taught at the Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil, in July 1995. The lectures covered the following topics:

  1. Lecture 1 : Background material on Logic Programming
  2. Lecture 2 : Theory of Program Analysis and Abstract Interpretation
  3. Lecture 3 : Abstract Interpretation of Logic Programs: A Survey
  4. Lecture 4 : Abstract Interpretation of Logic Programs: Mode Analysis
  5. Lecture 5 : Abstract Interpretation of Logic Programs: Implementation Issues
  6. Lecture 6 : Abstract Interpretation of Logic Programs: Complexity Issues
  7. Lecture 7 : Topics in Low Level Code Optimization for Logic Programs
  8. Lecture 8 : Abstract Interpretation and Low Level Code Optimization
  9. Lecture 9 : Cost Estimation of Logic Programs
  10. Lecture 10 : Granularity Control for Logic Programs