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]

Authors

Miguel Areias

This author has not been identified. Look up 'Miguel Areias' in Google

Ricardo Rocha 0001

This author has not been identified. Look up 'Ricardo Rocha 0001' in Google