Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs-Reference-Cited by-同舟云学术

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

Published:2014 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14
language:
Short-container-title:

Author:

Cruz Flavio,Rocha Ricardo,Goldstein Seth Copen

Publisher

ACM Press

Reference36 articles.

1. K. Ali and R. Karlsson. Full prolog and scheduling or-parallelism in muse. International Journal of Parallel Programming, 19(6):445--475, 1990. ISSN 0885-7458. URL http://dx.doi.org/10.1007/BF01397627.

2. K. A. M. Ali. Or-parallel execution of prolog on bc-machine. In R. A. Kowalski and K. A. Bowen, editors, ICLP/SLP, pages 1531--1545. MIT Press, 1988. ISBN 0-262-61056-6. URL http://dblp.uni-trier.de/db/conf/iclp/iclp88.html#Ali88.

3. M. P. Ashley-Rollman, M. D. Rosa, S. S. Srinivasa, P. Pillai, S. C. Goldstein, and J. D. Campbell. Declarative programming for modular robots. In Workshop on Self-Reconfigurable Robots/Systems and Applications at IROS 2007, 2007.

4. M. P. Ashley-Rollman, P. Lee, S. C. Goldstein, P. Pillai, and J. D. Campbell. A language for large ensembles of independently executing nodes. In International Conference on Logic Programming (ICLP), 2009.

5. D. Baelde. Least and greatest fixed points in linear logic. ACM Transactions on Computational Logic, 13(1):1--44, 2012.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Declarative coordination of graph-based parallel programs;ACM SIGPLAN Notices;2016-11-09

2. Declarative coordination of graph-based parallel programs;Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2016-02-27

3. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities;Practical Aspects of Declarative Languages;2015