Authors: DELABANDA MG MARRIOTT K STUCKEY P SONDERGAARD H

Citation: Mg. Delabanda et al., DIFFERENTIAL METHODS IN LOGIC PROGRAM ANALYSIS, The journal of logic programming, 35(1), 1998, pp. 1-37

Authors: CODISH M BRUYNOOGHE M DELABANDA MG HERMENEGILDO M

Citation: M. Codish et al., EXPLOITING GOAL INDEPENDENCE IN THE ANALYSIS OF LOGIC PROGRAMS, The journal of logic programming, 32(3), 1997, pp. 247-261

Authors: DELABANDA MG HERMENEGILDO M BRUYNOOGHE M DUMORTIER V JANSSENS G SIMOENS W

Citation: Mg. Delabanda et al., GLOBAL ANALYSIS OF CONSTRAINT LOGIC PROGRAMS, ACM transactions on programming languages and systems, 18(5), 1996, pp. 564-614

Authors: CODISH M MULKERS A BRUYNOOGHE M DELABANDA MG HERMENEGILDO M

Citation: M. Codish et al., IMPROVING ABSTRACT INTERPRETATIONS BY COMBINING DOMAINS, ACM transactions on programming languages and systems, 17(1), 1995, pp. 28-44