Compile-time derivation of variable dependency using abstract interpretation | Publicación