@inproceedings{9b69b76757e74fe8829aeba3418e174e,
title = "Exploiting parallelism in tabled evaluations",
abstract = "This paper addresses general issues involved in parallelizing tabled evaluations by introducing a model of shared-memory parallelism which we call table-parallelism, and by comparing it to traditional models of parallelizing SLD. A basic architecture for supporting table-parallelism in the framework of the SLG-WAM[14] is also presented, along with an algorithm for detecting termination of sub computations.",
author = "Juliana Freire and Rui Hu and Terrance Swift and Warren, {David S.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995 ; Conference date: 20-09-1995 Through 22-09-1995",
year = "1995",
doi = "10.1007/BFb0026817",
language = "English (US)",
isbn = "354060359X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "115--132",
editor = "Manuel Hermenegildo and Swierstra, {S. Doaitse}",
booktitle = "Programming Languages",
}