A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling.

Miguel Areias Ricardo Rocha

Published in: CoRR (2014)

Keyphrases

data structure
b tree
logic programming
design process
cost effective
concurrency control
design principles
optimal design
practical problems
hashing algorithm