[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
Cruz, Flavio, Rocha, Ricardo, Goldstein, Seth CopenYear:
2014
Language:
english
DOI:
10.1145/2643135.2643150
File:
PDF, 482 KB
english, 2014