Final Presentation

Click here to start the Slideshow




Created on Thursday 24 October 2002 by Bryan Ford

Table of Contents
  1. Object-Oriented
  2. Overview
  3. Case Study: Dictionaries
  4. Dictionary Models
  5. Basic Properties
  6. Simulation Relations
  7. Hash Table
  8. Binary Search Trees
  9. Undoable Dictionaries
  10. Conclusions