Experiments in Context-Sensitive Analysis of Modular Programs (2006)

by Jesús Correas , Germán Puebla , Manuel V. Hermenegildo , Francisco Bueno
Venue:In 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’05), number 3901 in LNCS
Citations:5 - 4 self