15-819K Logic Programming
Lecture 17: Mode Checking

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Modes
  • Abstract substitutions
  • Mode analysis judgment
• Previous lecture: Substitution Semantics
• Next lecture: Proof Terms

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

fp@cs
Frank Pfenning