AAAAAA
Results:
1-9
|
Results: 9
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:
CODISH M
DAMS D
FILE G
BRUYNOOGHE M
Citation: M. Codish et al., ON THE DESIGN OF A CORRECT FREENESS ANALYSIS FOR LOGIC PROGRAMS, The journal of logic programming, 28(3), 1996, pp. 181-206
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:
ADE H
DERAEDT L
BRUYNOOGHE M
Citation: H. Ade et al., DECLARATIVE BIAS FOR SPECIFIC-TO-GENERAL ILP SYSTEMS, Machine learning, 20(1-2), 1995, pp. 119-154
Authors:
BRUYNOOGHE M
DEBRAY S
HERMENEGILDO M
MAHER M
Citation: M. Bruynooghe et al., SPECIAL SECTION - 10 YEARS OF LOGIC PROGRAMMING - INTRODUCTION, The journal of logic programming, 23(2), 1995, pp. 87-88
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
Authors:
MULKERS A
WINSBOROUGH W
BRUYNOOGHE M
Citation: A. Mulkers et al., LIVE-STRUCTURE DATA-FLOW ANALYSIS FOR PROLOG, ACM transactions on programming languages and systems, 16(2), 1994, pp. 205-258
Authors:
BOULANGER D
BRUYNOOGHE M
Citation: D. Boulanger et M. Bruynooghe, DERIVING FOLD UNFOLD TRANSFORMATIONS OF LOGIC PROGRAMS USING EXTENDEDOLDT-BASED ABSTRACT INTERPRETATION, Journal of symbolic computation, 15(5-6), 1993, pp. 495-521
Authors:
BRUYNOOGHE M
DESCHREYE D
MARTENS B
Citation: M. Bruynooghe et al., A GENERAL CRITERION FOR AVOIDING INFINITE UNFOLDING DURING PARTIAL DEDUCTION, New generation computing, 11(1), 1992, pp. 47-79
Risultati:
1-9
|