|
СТ |
Termination Analysis for Tabled Logic Programming |
1998 |
Decorte S., De Schreye D., Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Preserving Termination of Tabled Logic Programs While Unfolding |
1998 |
Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
To Parse or Not To Parse |
1998 |
Vanhoof W., Martens B. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
A Framework for Bottom Up Specialisation of Logic Programs |
1998 |
Vanhoof W., De Schreye D., Martens B. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs |
1998 |
Leuschel M., Martens B., De Schreye D. |
|
|
|
ACM Trans. on Programming Languages and Systems |
30.07.1998 |
|
СТ |
Conjunctive Partial Deduction in Practice |
1997 |
Jorgensen J., Leuschel M., Martens B. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
|
СТ |
Controlling Conjunctive Partial Deduction |
1996 |
Gluck R., Jorgensen J., Martens B., Sorensen M. H. |
|
|
|
Lecture Notes in Computer Science |
20.11.1996 |
|
СТ |
Global Control for Partial Deduction through Characteristic Atoms and Global Trees |
1996 |
Leuschel M., Martens B. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance |
1995 |
Martens B., Gallagher J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Partial Deduction of the Ground Representation and its Application to Integrity Checking |
1995 |
Leuschel M., Martens B. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction of Logic Programs |
1991 |
Bruynooghe M., De Schreye D., Martens B. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming |
1992 |
Martens B., De Schreye D. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation |
1992 |
De Schreye D., Martens B. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |
