15-819K Logic Programming
Lecture 15: Resource Management

• Reading: Lecture Notes
• Code: 15-resources
• Concepts:
  • Input/Output Interpretation of Resource
  • Slack Resources
  • Strict Resources
• Previous lecture: Cut Elimination
• Next lecture: Substitution Semantics

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

fp@cs
Frank Pfenning