直観主義線形論理型言語LLPとそのコンパイラ処理系 [in Japanese] Intuitionistic Linear Logic Programming Language LLP and its Compiler Systems [in Japanese]
-
- 田村 直之 TAMURA Naoyuki
- 神戸大学情報基盤センター Information Science and Technology Center, Kobe University
-
- 番原 睦則 BANBARA Mutsunori
- 神戸大学情報基盤センター Information Science and Technology Center, Kobe University
Access this Article
Search this Article
Author(s)
-
- 田村 直之 TAMURA Naoyuki
- 神戸大学情報基盤センター Information Science and Technology Center, Kobe University
-
- 番原 睦則 BANBARA Mutsunori
- 神戸大学情報基盤センター Information Science and Technology Center, Kobe University
Journal
-
- Computer Software
-
Computer Software 30(2), 83-89, 2013-04-25
Japan Society for Software Science and Technology
References: 18
-
1
- Logic Programming with Focusing Proofs in Linear Logic
-
ANDREOLI J.-M.
Journal of Logic and Computation 2(3), 297-347, 1992
Cited by (1)
-
2
- Linear Objects : Logical Processes with Built-In Inheritance
-
ANDREOLI J.-M.
New Generation Computing 9, 445-473, 1991
Cited by (1)
-
3
- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
-
BANBARA M.
Proceedings of the 2001 International Conference on Logic Programming (ICLP 2001), 315-330, 2001
Cited by (1)
-
4
- Linear Logic
-
GIRARD J.-Y.
Theoretical Computer Science 50, 1-102, 1987
Cited by (1)
-
5
- Programming in Lygon : An Overview
-
HARLAND J.
Algebraic Methodology and Software Technology, 391-405, 1996
Cited by (1)
-
6
- Logic Programming in a Fragment of Intuitionistic Linear Logic
-
HODAS J. S.
Information and Computation 110(2), 327-365, 1994
Cited by (1)
-
7
- LolliCoP-a Linear Logic Implementation of a Lean Connectionmethod Theorem Prover for First-order Classical Logic
-
HODAS J. S.
Proceedings of the International Joint Conference on Automated Reasoning 2001 (IJCAR 2001), 670-684, 2001
Cited by (1)
-
8
- Efficient Implementation of a Linear Logic Programming Language
-
HODAS J. S.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998), 145-159, 1998
Cited by (1)
-
9
- 線形論理型言語の効率的なリソース管理モデル
-
姜京順
コンピュータソフトウェア 18(0), 138-154, 2001
Cited by (1)
-
10
- ACL-A Concurrent Linear Logic Programming Paradigm
-
KOBAYASHI N.
Proceedings of the 1993 International Logic Programming Symposium, 279-294, 1993
Cited by (1)
-
11
- A Multiple-Conclusion Specification Logic
-
MILLER D.
Theoretical Computer Science 165(1), 201-232, 1996
Cited by (1)
-
12
- Overview of Linear Logic Programming
-
MILLER D.
Linear Logic in Computer Science, 2004
Cited by (1)
-
13
- Uniform Proofs as a Foundation for Logic Programming
-
MILLER D.
Annals of Pure and Applied Logic 51, 125-157, 1991
Cited by (1)
-
14
- LLPTTP : 線形論理型言語コンパイラ処理系を用いた定理証明システム
-
田村直之
コンピュータソフトウェア 20(5), 90-96, 2003
Cited by (1)
-
15
- <no title>
-
WARREN D. H. D.
An Abstract Prolog Instruction Set, 1983
Cited by (1)
-
16
- An Abstract Machine for a Compiler System of a Linear Logic Programming Language. [in Japanese]
-
BANBARA Mutsunori , KANG Kyoung-Sun , TAMURA Naoyuki , Mutsunori Banbara , Kyoung-Sun Kang , Naoyuki Tamura , 奈良工業高等専門学校 , 釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科 , 神戸大学工学部情報知能工学科 , Nara National College of Technology , Department of Computer Engineering Division of Electronic and Computer Engineering Pusan University of Foreign Studies , Department of Computer and Systems Engineering Kobe University
コンピュータソフトウェア 00018(00001), 39-60, 2001-01-15
References (29) Cited by (4)
-
17
- A Prolog to Java Translator System and its Application [in Japanese]
-
BANBARA Mutsunori , TAMURA Naoyuki , INOUE Katsumi , Mutsunori Banbara , Naoyuki Tamura , Katsumi Inoue , 神戸大学学術情報基盤センター , 神戸大学学術情報基盤センター , 国立情報学研究所 , Information Science and Technology Center Kobe University , Information Science and Technology Center Kobe University , National Institute of Informatics
Computer Software 24(3), 75-86, 2007-07-26
J-STAGE References (26) Cited by (1)
-
18
- Classical Propositional Linear Logic Theorem Prover on a Linear Logic Programming Language Compiler System [in Japanese]
-
TAMURA Naoyuki , BANBARA Mutsunori , Naoyuki Tamura , Mutsunori Banbara , 神戸大学学術情報基盤センター , 神戸大学学術情報基盤センター , Information Science and Technology Center Kobe University , Information Science and Technology Center Kobe University
Computer Software 22(1), 98-103, 2005-01-26
J-STAGE References (23) Cited by (1)