{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:14:17Z","timestamp":1767046457673},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,1,11]],"date-time":"2015-01-11T00:00:00Z","timestamp":1420934400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10766-014-0346-1","type":"journal-article","created":{"date-parts":[[2015,1,10]],"date-time":"2015-01-10T05:44:42Z","timestamp":1420868682000},"page":"386-406","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs"],"prefix":"10.1007","volume":"44","author":[{"given":"Miguel","family":"Areias","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,11]]},"reference":[{"key":"346_CR1","doi-asserted-by":"crossref","unstructured":"Areias, M., Rocha, R.: An efficient and scalable memory allocator for multithreaded tabled evaluation of logic programs. In: International Conference on Parallel and Distributed Systems, pp. 636\u2013643. IEEE Computer Society (2012)","DOI":"10.1109\/ICPADS.2012.91"},{"issue":"4 & 5","key":"346_CR2","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1017\/S1471068412000117","volume":"12","author":"M Areias","year":"2012","unstructured":"Areias, M., Rocha, R.: Towards multi-threaded local tabling using a common table space. J. Theory Pract. Logic Program. 12(4 & 5), 427\u2013443 (2012)","journal-title":"J. Theory Pract. Logic Program."},{"key":"346_CR3","doi-asserted-by":"crossref","unstructured":"Areias, M., Rocha, R.: On the correctness and efficiency of lock-free expandable tries for tabled logic programs. In: International Symposium on Practical Aspects of Declarative Languages, no. 8324 in LNCS, pp. 168\u2013183. Springer (2014)","DOI":"10.1007\/978-3-319-04132-2_12"},{"key":"346_CR4","unstructured":"Bagwell, P.: Ideal hash trees. Es Grands Champs 1195 (2001)"},{"issue":"1","key":"346_CR5","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM 43(1), 20\u201374 (1996)","journal-title":"J. ACM"},{"key":"346_CR6","doi-asserted-by":"crossref","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical program analysis using general purpose logic programming systems\u2014a case study. In: ACM Conference on Programming Language Design and Implementation, pp. 117\u2013126. ACM (1996)","DOI":"10.1145\/249069.231399"},{"key":"346_CR7","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E Fredkin","year":"1962","unstructured":"Fredkin, E.: Trie memory. Commun. ACM 3, 490\u2013499 (1962)","journal-title":"Commun. ACM"},{"key":"346_CR8","volume-title":"The Art of Multiprocessor Programming","author":"M Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufmann, Burlington (2008)"},{"issue":"3","key":"346_CR9","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M Herlihy","year":"1990","unstructured":"Herlihy, M., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"346_CR10","first-page":"405","volume":"21","author":"M Johnson","year":"1995","unstructured":"Johnson, M.: Memoization in top-down parsing. Comput. Linguist. 21(3), 405\u2013417 (1995)","journal-title":"Comput. Linguist."},{"key":"346_CR11","doi-asserted-by":"crossref","unstructured":"Marques, R., Swift, T.: Concurrent and local evaluation of normal programs. In: International Conference on Logic Programming, no. 5366 in LNCS, pp. 206\u2013222. Springer (2008)","DOI":"10.1007\/978-3-540-89982-2_24"},{"key":"346_CR12","doi-asserted-by":"crossref","unstructured":"Marques, R., Swift, T., Cunha, J.C.: A Simple and efficient implementation of concurrent local tabling. In: International Symposium on Practical Aspects of Declarative Languages, no. 5937 in LNCS, pp. 264\u2013278. Springer (2010)","DOI":"10.1007\/978-3-642-11503-5_22"},{"key":"346_CR13","unstructured":"Moura, P.: ISO\/IEC DTR 13211\u20135:2007 Prolog multi-threading predicates (2008). http:\/\/logtalk.org\/plstd\/threads.pdf"},{"key":"346_CR14","doi-asserted-by":"crossref","unstructured":"Prokopec, A., Bronson, N.G., Bagwell, P., Odersky, M.: Concurrent tries with efficient non-blocking snapshots. In: ACM Symposium on Principles and Practice of Parallel Programming, pp. 151\u2013160. ACM (2012)","DOI":"10.1145\/2145816.2145836"},{"key":"346_CR15","doi-asserted-by":"crossref","unstructured":"Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Swift, T., Warren, D.S.: Efficient model checking using tabled resolution. In: Computer Aided Verification, no. 1254 in LNCS, pp. 143\u2013154. Springer (1997)","DOI":"10.1007\/3-540-63166-6_16"},{"issue":"1 & 2","key":"346_CR16","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S1471068404002030","volume":"5","author":"R Rocha","year":"2005","unstructured":"Rocha, R., Silva, F., Santos Costa, V.: On applying or-parallelism and tabling to logic programs. Theory Pract. Log. Program. 5(1 & 2), 161\u2013205 (2005)","journal-title":"Theory Pract. Log. Program."},{"key":"346_CR17","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: ACM International Conference on the Management of Data, pp. 442\u2013453. ACM (1994)","DOI":"10.1145\/191839.191927"},{"issue":"1 & 2","key":"346_CR18","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1017\/S1471068411000512","volume":"12","author":"V Santos Costa","year":"2012","unstructured":"Santos Costa, V., Rocha, R., Damas, L.: The YAP Prolog system. J. Theory Pract. Log. Program. 12(1 & 2), 5\u201334 (2012)","journal-title":"J. Theory Pract. Log. Program."},{"issue":"3","key":"346_CR19","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/1147954.1147958","volume":"53","author":"O Shalev","year":"2006","unstructured":"Shalev, O., Shavit, N.: Split-ordered lists: lock-free extensible hash tables. J. ACM 53(3), 379\u2013405 (2006)","journal-title":"J. ACM"},{"key":"346_CR20","unstructured":"Triplett, J., McKenney, P.E., Walpole, J.: Resizable, scalable, concurrent hash tables via relativistic programming. In: USENIX Annual Technical Conference, p. 11. USENIX Association (2011)"},{"key":"346_CR21","doi-asserted-by":"crossref","unstructured":"Zou, Y., Finin, T.W., Chen, H.: F-OWL: An inference engine for semantic web. In: International Workshop on Formal Approaches to Agent-Based Systems, LNCS, vol. 3228, pp. 238\u2013248. Springer (2004)","DOI":"10.1007\/978-3-540-30960-4_16"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0346-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-014-0346-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-014-0346-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T14:13:39Z","timestamp":1566224019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-014-0346-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,11]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["346"],"URL":"https:\/\/doi.org\/10.1007\/s10766-014-0346-1","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,11]]}}}