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
FALASCHI M
MARRIOTT K
WINSBOROUGH W
Citation: M. Codish et al., A CONFLUENT SEMANTIC BASIS FOR THE ANALYSIS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS, The journal of logic programming, 30(1), 1997, pp. 53-81
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:
CODISH M
MASHEVITZKY G
Citation: M. Codish et G. Mashevitzky, PROVING IMPLICATIONS BY ALGEBRAIC-APPROXIMATION, Theoretical computer science, 165(1), 1996, pp. 57-74
Authors:
BARBUTI R
CODISH M
GIACOBAZZI R
MAHER MJ
Citation: R. Barbuti et al., ORACLE SEMANTICS FOR PROLOG, Information and computation, 122(2), 1995, pp. 178-200
Authors:
CODISH M
DEMOEN B
Citation: M. Codish et B. Demoen, ANALYZING LOGIC PROGRAMS USING PROP-OSITIONAL LOGIC PROGRAMS AND A MAGIC WAND, The journal of logic programming, 25(3), 1995, pp. 249-274
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:
CODISH M
DAMS D
YARDENI E
Citation: M. Codish et al., BOTTOM-UP ABSTRACT INTERPRETATION OF LOGIC PROGRAMS, Theoretical computer science, 124(1), 1994, pp. 93-125
Authors:
CODISH M
FALASLCHI M
MARRIOTT K
Citation: M. Codish et al., SUSPENSION ANALYSES FOR CONCURRENT LOGIC PROGRAMS, ACM transactions on programming languages and systems, 16(3), 1994, pp. 649-686
Risultati:
1-9
|