A Model for Inter-module Analysis and Optimizing Compilation.

Francisco Bueno Maria J. García de la Banda Manuel V. Hermenegildo Kim Marriott Germán Puebla Peter J. Stuckey A Model for Inter-module Analysis and Optimizing Compilation. 86-102 2000 LOPSTR (LNCS 2042: Selected Papers) conf/lopstr/2000 http://link.springer.de/link/service/series/0558/bibs/2042/20420086.htm db/conf/lopstr/lopstr2000lncs.html#BuenoBHMPS00a