Visualizing abstractions