11 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 2 cited
A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias, Ricardo Rocha
A critical component in the implementation of a concurrent tabling system is the design of the table space. One of the most successful proposals for representing tables is based on…
cs.PL2012★ 11 cited
Towards Multi-Threaded Local Tabling Using a Common Table Space
Miguel Areias, Ricardo Rocha
Multi-threading is currently supported by several well-known Prolog systems providing a highly portable solution for applications that can benefit from concurrency. When multi-thre…