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: ARMSTRONG T MARRIOTT K SCHACHTE P SONDERGAARD H

Citation: T. Armstrong et al., 2 CLASSES OF BOOLEAN FUNCTIONS FOR DEPENDENCY ANALYSIS, Science of computer programming, 31(1), 1998, pp. 3-45

Authors: KELLY AD MARRIOTT K SONDERGAARD H STUCKEY PJ

Citation: Ad. Kelly et al., A PRACTICAL OBJECT-ORIENTED ANALYSIS ENGINE FOR CLP, Software, practice & experience, 28(2), 1998, pp. 199-224

Authors: MARRIOTT K SONDERGAARD H JONES ND

Citation: K. Marriott et al., DENOTATIONAL ABSTRACT INTERPRETATION OF LOGIC PROGRAMS, ACM transactions on programming languages and systems, 16(3), 1994, pp. 607-648

Authors: MARRIOTT K SONDERGAARD H

Citation: K. Marriott et H. Sondergaard, DIFFERENCE-LIST TRANSFORMATION FOR PROLOG, New generation computing, 11(2), 1993, pp. 125-157