15-819K Logic Programming
Lecture 19: Verifying Progress

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Verifying totality
  • Types, modes, progress, and termination
  • Open and closed world assumption
  • Input coverage
  • Output coverage
• Previous lecture: Proof Terms
• Next lecture: Bottom-Up Logic Programming

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning