A Geometric Semantics for Program Representation in the Polytope Model
1999 ◽
Vol 10
(02)
◽
pp. 153-184
2012 ◽
Vol 56
(14)
◽
pp. 18-23
◽