Вы здесь

Sagonas K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ XSB as an Efficient Deductive Database Engine 1994 Sagonas K., Swift T., Warren D. S. SIGMOD Record 30.08.1994
СТ 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
СТ 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
СТ 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
СТ Preserving Termination of Tabled Logic Programs While Unfolding 1998 Leuschel M., Martens B., Sagonas K. Lecture Notes in Computer Science 14.10.1998
СТ 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
СТ CAT: The Copying Approach to Tabling 1998 Demoen B., Sagonas K. Lecture Notes in Computer Science 13.10.1998
СТ 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
СТ Memory Management for Prolog with Tabling 1999 Demoen B., Sagonas K. SIGPLAN Notices 23.08.1999
СТ Modular Termination Proofs for Prolog with Tabling 1999 Verbaeten S., Sagonas K., De Schreye D. Lecture Notes in Computer Science 27.10.1999
СТ Heap Garbage Collection in XSB: Practice and Experience 2000 Demoen B., Sagonas K. Lecture Notes in Computer Science 03.02.2000
СТ 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
СТ Segment Order Preserving and Generational Garbage Collection for Prolog 2002 Vandeginste R., Sagonas K., Demoen B. Lecture Notes in Computer Science 27.02.2002
СТ Linear Scan Register Allocation in a High-Performance Erlang Compiler 2002 Johansson E., Sagonas K. Lecture Notes in Computer Science 27.02.2002
СТ Message Analysis for Concurrent Languages 2003 Carlsson R., Sagonas K., Wilhelmsson J. Lecture Notes in Computer Science 18.09.2003