Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures | Publicación