Next: Additional topics
Up: Reasoning about Resources Seminar:
Previous: Reasoning about Resources Seminar:
- Local reasoning for programs with pointers.
- The logic of bunched implications and its use in local reasoning
for programs with pointers.
- Relation to Typed Assembly Language, Region Inference.
Lars Birkedal
2001-09-03