Diagramming Program Values by Spatial Refinement Programming Languages Visualization Q: 8 R: 9 Jun 4, 2026 Summary