next up previous
Next: About this document Up: A COMPILER SYSTEM Previous: CONCLUSION


J.-M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297-347, 1992.

J.-M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9:445-473, 1991.

J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.

J. S. Hodas and D. Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327-365, 1994. Extended abstraction in the Proceedings of the Sixth Annual Symposium on Logic in Computer Science, Amsterdam, July 15-18, 1991.

N. Kobayashi and A. Yonezawa. ACL -- a concurrent linear logic programming paradigm. In D. Miller, editor, Proceedings of the International Symposium on Logic Programming, pages 279-294, Vancouver, Canada, October 1993. MIT Press.

D. Miller. A multiple-conclusion meta-logic. Theoretical Computer Science, 165(1):201-232, 1996.

D. Pym and J. Harland. A uniform proof-theoretic investigation of linear logic programming. Journal of Logic and Computation, 4(2):175-207, April 1994.

Naoyuki Tamura and Yukio Kaneda. Extension of WAM for a linear logic programming language. In Proceedings of The Second Fuji International Workshop on Functional and Logic Programming, Nov. 1996.

David H. D. Warren. An abstract Prolog instruction set. Technical Report Technical Note 309, SRI International, Menlo Park, CA, Oct. 1983.

Naoyuki Tamura
Thu May 8 20:39:01 JST 1997