next up previous contents index
Next: The logging model Up: Missing Documentation Previous: Assignment operators such as   Contents   Index


The notion of redefinition/refinement

 



Vern Paxson 2002-11-17