skip to main content
DOE PAGES title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog

Authors:
ORCiD logo [1]; ORCiD logo [1]
  1. CRACS & INESC TEC and Faculty of Sciences, University of Porto, Portugal
Publication Date:
Sponsoring Org.:
USDOE Office of Nuclear Energy (NE), Fuel Cycle Technologies (NE-5)
OSTI Identifier:
1430733
Grant/Contract Number:  
UDI/EEA/50014/2013; SFRH/BPD/108018/2015
Resource Type:
Publisher's Accepted Manuscript
Journal Name:
Concurrency and Computation. Practice and Experience
Additional Journal Information:
Journal Name: Concurrency and Computation. Practice and Experience; Journal ID: ISSN 1532-0626
Publisher:
Wiley Blackwell (John Wiley & Sons)
Country of Publication:
United Kingdom
Language:
English

Citation Formats

Areias, Miguel, and Rocha, Ricardo. Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog. United Kingdom: N. p., 2018. Web. doi:10.1002/cpe.4491.
Areias, Miguel, & Rocha, Ricardo. Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog. United Kingdom. doi:10.1002/cpe.4491.
Areias, Miguel, and Rocha, Ricardo. Fri . "Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog". United Kingdom. doi:10.1002/cpe.4491.
@article{osti_1430733,
title = {Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog},
author = {Areias, Miguel and Rocha, Ricardo},
abstractNote = {},
doi = {10.1002/cpe.4491},
journal = {Concurrency and Computation. Practice and Experience},
number = ,
volume = ,
place = {United Kingdom},
year = {2018},
month = {3}
}

Journal Article:
Free Publicly Available Full Text
Publisher's Version of Record
DOI: 10.1002/cpe.4491

Citation Metrics:
Cited by: 1 work
Citation information provided by
Web of Science

Save / Share:

Works referenced in this record:

Practical program analysis using general purpose logic programming systems---a case study
conference, January 1996

  • Dawson, Steven; Ramakrishnan, C. R.; Warren, David S.
  • Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96
  • DOI: 10.1145/231379.231399

On efficient parallel computations for some dynamic programming problems
journal, August 1988


The YAP Prolog system
journal, October 2011

  • Costa, VÍTor Santos; Rocha, Ricardo; Damas, LuÍS
  • Theory and Practice of Logic Programming, Vol. 12, Issue 1-2
  • DOI: 10.1017/S1471068411000512

Simplifying dynamic programming via mode-directed tabling
journal, January 2007

  • Guo, Hai-Feng; Gupta, Gopal
  • Software: Practice and Experience, Vol. 38, Issue 1
  • DOI: 10.1002/spe.824

Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
conference, October 2010

  • Zhou, Neng-Fa; Kameya, Yoshitaka; Sato, Taisuke
  • 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on Tools with Artificial Intelligence
  • DOI: 10.1109/ICTAI.2010.103

On scaling dynamic programming problems with a multithreaded tabling Prolog system
journal, March 2017


Towards multi-threaded local tabling using a common table space
journal, July 2012


A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
journal, January 2015

  • Areias, Miguel; Rocha, Ricardo
  • International Journal of Parallel Programming, Vol. 44, Issue 3
  • DOI: 10.1007/s10766-014-0346-1

Lock-free parallel dynamic programming
journal, August 2010

  • Stivala, Alex; Stuckey, Peter J.; Garcia de la Banda, Maria
  • Journal of Parallel and Distributed Computing, Vol. 70, Issue 8
  • DOI: 10.1016/j.jpdc.2010.01.004

Tabled evaluation with delaying for general logic programs
journal, January 1996


Efficient access mechanisms for tabled logic programs
journal, January 1999


Linearizability: a correctness condition for concurrent objects
journal, July 1990

  • Herlihy, Maurice P.; Wing, Jeannette M.
  • ACM Transactions on Programming Languages and Systems, Vol. 12, Issue 3
  • DOI: 10.1145/78969.78972

The language features and architecture of B-Prolog
journal, September 2011


XSB: Extending Prolog with Tabled Logic Programming
journal, December 2011

  • Swift, Terrance; Warren, David S.
  • Theory and Practice of Logic Programming, Vol. 12, Issue 1-2
  • DOI: 10.1017/S1471068411000500

Scalable lock-free dynamic memory allocation
journal, June 2004