СТ |
Meta-circular Abstract Interpretation in Prolog |
2002 |
Codish M., Sondergaard H. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
СТ |
Reuse of Results in Termination Analysis of Typed Logic Programs |
2002 |
Bruynooghe M., Codish M., Genaim S., Vanfoof W. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
СТ |
Pos(T): Analyzing Dependencies in Typed Logic Programs |
2001 |
Bruynooghe M., Vanhoof W., Codish M. |
|
|
|
Lecture Notes in Computer Science |
08.02.2002 |
СТ |
The Def-inite Approach to Dependency Analysis |
2001 |
Genaim S., Codish M. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
СТ |
Sharing and Groundness Dependencies in Logic Programs |
1999 |
Codish M., Sondergaard H., Stuckey P. J. |
|
|
|
ACM Trans. on Programming Languages and Systems |
27.04.2000 |
СТ |
An Algebraic Approach to Sharing Analysis of Logic Programs |
1997 |
Codish M., Lagoon V., Bueno F. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
СТ |
Abstracting Unification: A Key Step in the Design of Logic Program Analyses |
1995 |
Bruynooghe M., Codish M., Mulkers A. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
СТ |
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop |
1994 |
Codish M., Demoen B. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
СТ |
Proving Implications by Algebraic Approximation |
1994 |
Codish M., Mashevitzky G. |
|
|
|
Lecture Notes in Computer Science |
01.11.1994 |
СТ |
Analysing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand |
1993 |
Codish M., Demoen B. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
СТ |
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis |
1991 |
Codish M., Dams D., Yardeni E. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
Suspension Analysis for Concurrent Logic Programs |
1991 |
Codish M., Falaschi M., Marriott K. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
СТ |
Suspension Analyses for Concurrent Logic Programs |
1994 |
Codish M., Falaschi M., Marriott K. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
СТ |
Freeness, Sharing, Linearity and Correctness - All at Once |
1993 |
Bruynooghe M., Codish M. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
СТ |
Efficient Analysis of Concurrent Constraint Logic Programs |
1992 |
Codish M., Falaschi M., Marriott K., Winsborough W. |
|
|
|
BIGRE |
05.11.1992 |
СТ |
Modelling Prolog Control |
1991 |
Barbuti R., Codish M., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
11.12.1991 |