Diagramming Program Values by Spatial Refinement

4 points by typesanitizer