Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog
Areias, Miguel, Rocha, RicardoLanguage:
english
Journal:
Concurrency and Computation: Practice and Experience
DOI:
10.1002/cpe.4491
Date:
March, 2018
File:
PDF, 1.09 MB
english, 2018