Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
An Improved Continuation Call-Based Implementation of Tabling
PADL, 2008.
@inproceedings{PADL-2008-GuzmanCHSR,
author = "Pablo Chico de Guzmán and Manuel Carro and Manuel V. Hermenegildo and Cláudio Silva and Ricardo Rocha",
booktitle = "{Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages}",
doi = "10.1007/978-3-540-77442-6_14",
isbn = "978-3-540-77441-9",
pages = "197--213",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{An Improved Continuation Call-Based Implementation of Tabling}",
volume = 4902,
year = 2008,
}
Tags: