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

Additional topics

  1. Local reasoning for programs with procedures.
  2. Local reasoning for programs with procedures and pointers.


Lars Birkedal 2001-09-03