Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog

Miguel Areias, Ricardo Rocha 0001. Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Concurrency - Practice and Experience, 31(5), 2019. [doi]

Abstract

Abstract is missing.