A Generic Framework for Context-Sensitive Analysis of Modular Programs | Publicación