Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.