Author of the publication

Table space designs for implicit and explicit concurrent tabled evaluation.

, and . Theory Pract. Log. Program., 18 (5-6): 950-992 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Batched evaluation of linear tabled logic programs., and . Comput. Sci. Inf. Syst., 10 (4): 1775-1797 (2013)On the implementation of memory reclamation methods in a lock-free hash trie design., , and . J. Parallel Distributed Comput., (2021)On Extending a Linear Tabling Framework to Support Batched Scheduling., and . SLATE, volume 21 of OASIcs, page 9-24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Batched Evaluation of Full-Sharing Multithreaded Tabling., and . SLATE, volume 563 of Communications in Computer and Information Science, page 113-124. Springer, (2015)An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives., and . PADL, volume 5937 of Lecture Notes in Computer Science, page 279-293. Springer, (2010)Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog., and . Concurr. Comput. Pract. Exp., (2019)On the correctness and efficiency of a novel lock-free hash trie map design., and . J. Parallel Distributed Comput., (2021)Towards an Elastic Lock-Free Hash Trie Design., and . ISPDC, page 9-16. IEEE, (2021)A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling., and . CoRR, (2014)On the correctness of a lock-free compression-based elastic mechanism for a hash trie design., and . Computing, 104 (10): 2279-2305 (2022)