Semantics for 2D Rasterization
arxiv.org