Autor der Publikation

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.

, und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 461-462. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The BEAM: A first EAM Implementation., und . APPIA-GULP-PRODE, Seite 425-440. (1999)Improving Memory Usage in the BEAM., und . PADL, Volume 3350 von Lecture Notes in Computer Science, Seite 143-157. Springer, (2005)The Life of a Logic Programming System.. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 1-6. Springer, (2008)Change of Representation for Statistical Relational Learning., , , , , und . IJCAI, Seite 2719-2726. (2007)DAOS - Scalable And-Or Parallelism., , , , , und . Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 899-908. Springer, (1999)VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs., , und . IJCSLP, Seite 100-114. MIT Press, (1998)The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model., , und . ICLP, Seite 443-456. MIT Press, (1991)Sequential Pattern Mining in Multi-relational Datasets., , und . CAEPIA, Volume 5988 von Lecture Notes in Computer Science, Seite 121-130. Springer, (2009)NeuralLog: a Neural Logic Language., und . CoRR, (2021)Fifty Years of Prolog and Beyond., , , , , , , , , und . Theory Pract. Log. Program., 22 (6): 776-858 (2022)