Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein. Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 43-54, ACM, 2014. [doi]
@inproceedings{CruzRG14,
title = {Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs},
author = {Flávio Cruz and Ricardo Rocha and Seth Copen Goldstein},
year = {2014},
doi = {10.1145/2643135.2643150},
url = {http://doi.acm.org/10.1145/2643135.2643150},
researchr = {https://researchr.org/publication/CruzRG14},
cites = {0},
citedby = {0},
pages = {43-54},
booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014},
editor = {Olaf Chitil and Andy King and Olivier Danvy},
publisher = {ACM},
isbn = {978-1-4503-2947-7},
}