next up previous
Next: Additional topics Up: Reasoning about Resources Seminar: Previous: Reasoning about Resources Seminar:

Main topics

  1. Local reasoning for programs with pointers.
  2. The logic of bunched implications and its use in local reasoning for programs with pointers.
  3. Relation to Typed Assembly Language, Region Inference.

Lars Birkedal 2001-09-03