LLP Publications
Last modified: Wed Aug 29 22:29:59 2001 JST
English Papers and Presentations
- Compiling Resources in a Linear Logic Programming Language
- Mutsunori Banbara
and
Naoyuki Tamura
- Proceedings of
Post-JICSLP'98 Workshop on Parallelism and
Implementation Technology for Logic Programming Languages,
pages 32--45, June 1998.
- Efficient Implementation of a Linear Logic Programming Language
- Joshua S. Hodas,
Kevin Watkins,
Naoyuki Tamura,
and
Kyoung-Sun Kang
- Proceedings of
the 1998
Joint International Conference and Symposium on Logic Programming,
pages 145--159, June 1998.
See:
Recent Publications by Joshua S. Hodas
- Java implementation of a linear logic programming language
- Mutsunori Banbara and Naoyuki Tamura
- Proceedings of the 10th Exhibition and Symposium
on Industrial Applications of Prolog,
pages 56--63, Oct. 1997.
PostScript:
inap97.ps.gz, 8 pages
- A Compiler System of a Linear Logic Programming Language
- Naoyuki Tamura and Yukio Kaneda
- Proceedings of the IASTED International Conference on
Artificial Intelligence and Soft Computing,
pages 180--183, Banff, Canada,
July 1997.
HTML,
PostScript:
asc97.ps, 4 pages
- Extension of WAM for a Linear Logic Programming Language
- Naoyuki Tamura and Yukio Kaneda
- Second Fuji International Workshop
on Functional and Logic Programming,
(editors T. Ida, A. Ohori, and M. Takeichi),
pages 33--50, World Scientific, 1996.
HTML,
PostScript:
fuji96.ps, 18 pages
- Resource Management Method for a Compiler System
of a Linear Logic Programming Language
- Naoyuki Tamura and Yukio Kaneda
- GMD-Studien Nr. 296,
Proceedings of the Poster Session at JICSLP'96,
pages 87--98,
German National Research Center for Information Technology,
Sep. 1996.
PostScript:
jicslp96p.ps, 4 pages
- BibTeX entries
-
llp.bib
Japanese Papers and Presentations
- Compiling Intuitionistic Linear Logic Programming Languages
- Mutsunori Banbara, Kyoung-sun Kang, and Naoyuki Tamura
- Linear Logic Workshop, Keio University, Feb. 1999.
- A Leveled IO-model for a Linear Logic Programming Language
(in Japanese)
- Kyoung-Sun Kang and Naoyuki Tamura
- Symbolic Logic and Computer Science (SLACS'97),
Kyushu University, Oct. 1997.
- A WAM Model for a Linear Logic Programming Language
(in Japanese)
- Naoyuki Tamura and Yukio Kaneda
- Proceedings of the 9th Exhibition and Symposium
on Industrial Applications of Prolog,
pages 63--70, Oct. 1996.
HTML,
PostScript:
inap96.ps, in Japanese, 8 pages
- Resource Management Method for a Compiler System
of a Linear Logic Programming Language
- Naoyuki Tamura and Yuichi Ikeda
- IPSJ 96-PRO-7, Information Processing Society of Japan,
pages 25--30, May 1996.
PostScript:
prolang5.ps, in Japanese, 6 pages
- BibTeX entries
-
llp.bib
Naoyuki Tamura