|
СТ |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction |
1998 |
Bruynooghe M., Leuschel M., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
An Abstract Machine for Computing the Well-Founded Semantics |
1996 |
Sagonas K., Swift T., Warren D. S. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs |
1998 |
Sagonas K., Swift T. |
|
|
|
ACM Trans. on Programming Languages and Systems |
05.11.1998 |
|
СТ |
CAT: The Copying Approach to Tabling |
1998 |
Demoen B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
Efficient Execution of HiLog in WAM-based Prolog Implementations |
1995 |
Sagonas K., Warren D. S. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
08.05.1996 |
|
СТ |
Efficient Tabling Mechanisms for Logic Program |
1995 |
Ramakrishnan I. V., Rao P., Sagonas K., Swift T., Warren D. S. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Heap Garbage Collection in XSB: Practice and Experience |
2000 |
Demoen B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
03.02.2000 |
|
СТ |
Linear Scan Register Allocation in a High-Performance Erlang Compiler |
2002 |
Johansson E., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
СТ |
Memory Management for Prolog with Tabling |
1999 |
Demoen B., Sagonas K. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Message Analysis for Concurrent Languages |
2003 |
Carlsson R., Sagonas K., Wilhelmsson J. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Modular Termination Proofs for Prolog with Tabling |
1999 |
Verbaeten S., Sagonas K., De Schreye D. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Preserving Termination of Tabled Logic Programs While Unfolding |
1998 |
Leuschel M., Martens B., Sagonas K. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Segment Order Preserving and Generational Garbage Collection for Prolog |
2002 |
Vandeginste R., Sagonas K., Demoen B. |
|
|
|
Lecture Notes in Computer Science |
27.02.2002 |
|
СТ |
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 |
|
СТ |
The HiPE/x86 Erlag Compiler: System Dscription and Performance Evaluation |
2002 |
Pettersson M., Sagonas K., Johansson E. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
|
СТ |
XSB as an Efficient Deductive Database Engine |
1994 |
Sagonas K., Swift T., Warren D. S. |
|
|
|
SIGMOD Record |
30.08.1994 |
