A Simple and Efficient Implementation of Concurrent Local Tabling

Rui Marques, Terrance Swift, José C. Cunha. A Simple and Efficient Implementation of Concurrent Local Tabling. In Manuel Carro, Ricardo Peña, editors, Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Volume 5937 of Lecture Notes in Computer Science, pages 264-278, Springer, 2010. [doi]

@inproceedings{MarquesSC10,
  title = {A Simple and Efficient Implementation of Concurrent Local Tabling},
  author = {Rui Marques and Terrance Swift and José C. Cunha},
  year = {2010},
  doi = {10.1007/978-3-642-11503-5_22},
  url = {http://dx.doi.org/10.1007/978-3-642-11503-5_22},
  tags = {C++},
  researchr = {https://researchr.org/publication/MarquesSC10},
  cites = {0},
  citedby = {0},
  pages = {264-278},
  booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  editor = {Manuel Carro and Ricardo Peña},
  volume = {5937},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11502-8},
}