Author:
Harland James,Pym David,Winikoff Michael
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. J.-M. Andreoli. Logic Programming with Focusing Proofs in Linear Logic. J. Logic Computat. 2(3), 1992.
2. J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Gen. Comp., 9:445–473, 1991.
3. A. Bonner and L. McCarty. Adding Negation-as-Failure to Intuitionistic Logic Programming. Proc. NACLP, 681–703, Austin, October, 1990.
4. N. Carriero and D. Gelernter. Linda in context. CACM, 32(4):444–458, 1989.
5. P. Dung. Hypothetical Logic Programming. Proc. 3rd. International Workshop on Extensions of Logic Programming 61–73, LNCS, Springer, 1992.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Diaframe: automated verification of fine-grained concurrent programs in Iris;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
3. RefinedC: automating the foundational verification of C code with refined ownership types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. Reciprocal Influences Between Proof Theory and Logic Programming;Philosophy & Technology;2019-08-06
5. Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014