The octahedron abstract domain | Publicación