Dr. Jones: Closing the Loop
Visualization
Navigation
Source
Analysis
Contribution #1:
A model of source code navigation that is
explicit and programmable.
