Future Research

Easy Extensions

Harder Extensions

A related project is to explore using a variety of graphical techniques for examining procedure behavior. For example, commonly expressed complaints about the OS procedure include:

  1. it is too hard to compute
  2. it is too hard to understand
We have already shown that the first of these is no longer true, and we hope that visualization approaches might help overcome the second.


References Outline Points of Interest