Naoyuki Tamura, Yukio Kaneda  Home/Search
Context Related
| godel.seg.kobeu.ac.jp/pu...asc97.ps.gz bach.seg.kobeu.ac.jp/llp/pa...asc97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bach.seg.kobeu.ac.jp/llp/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear logic developed by J.-Y. Girard can be described as a logic of resources. There have been several proposals for logic programming language based on linear logic: LO, LinLog, ACL, Lolli, Lygon, and Forum. Lolli and Lygon are implemented as interpreter systems (on SML and Prolog for Lolli, on Prolog for Lygon). But, none of them have been implemented as a compiler system. This paper describes a compiler system of a linear logic programming language called LLP. New features of LLP with... (Update)
Context of citations to this paper: More
.... res(I, J) J1 is J 1, b(I, J, gen res(I, J1) Figure 1: LLP example: tiling board with dominoes Other LLP examples are described in [13]. Useful applications of Lolli, such as a propositional theorem prover, a database query, and a natural language parser, are...
...(r(1) r(2) r(X) 3.3 LLP Example Programs We show some example programs of LLP here. Other example programs of LLP are described in [11]. The following program finds a path through a directed graph. Since the arcs are added as rule type linear resources, the conditions can...
Cited by: More
Electronic Notes in Theoretical Computer Science 30 No. 3 (2003) - Url Http Www (Correct)
Compiling Resources in a Linear Logic Programming Language - Banbara, Tamura (1998) (Correct)
Translating a Linear Logic Programming Language into Java - Banbara, Tamura (1999) (Correct)
Similar documents (at the sentence level):
78.8%: A Compiler System of a Linear Logic Programming Language - Tamura, Kaneda (1997) (Correct)
7.7%: Extension of WAM for a linear logic programming language - Naoyuki Tamura (1996) (Correct)
Active bibliography (related documents): More All
0.1: A Static Analysis of a Classical Linear Logic Programming Language - Kang (Correct)
0.1: Logic Programming in a Fragment of Intuitionistic.. - Mutsunori Banbara.. (Correct)
0.0: Linearity Constraints as Bounded Intervals in Linear Logic.. - Polakow (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
1.2: Extension of WAM for a linear-logic-based logic programming.. - Tamura, Kaneda (1996) (Correct)
1.0: Resource Management Method for a Compiler System of a Linear.. - Naoyuki Tamura (1996) (Correct)
0.6: lolliCoP - A Linear Logic Implementation of a Lean.. - Hodas, Tamura (Correct)
Related documents from co-citation: More All
3: The uniform proof-theoretic foundation of linear logic programming - Harland, Pym - 1991
3: Theoretical Computer Science (context) - Girard - 1987
3: A multiple-conclusion specification logic (context) - Miller - 1996
BibTeX entry: (Update)
N. Tamura and Y. Kaneda. A compiler system of a linear logic programming language. In Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing, pages 180--183, July 1997. http://citeseer.ist.psu.edu/article/tamura97compiler.html More
@misc{ tamura97compiler,
author = "N. Tamura and Y. Kaneda",
title = "A compiler system of a linear logic programming language",
text = "N. Tamura and Y. Kaneda. A compiler system of a linear logic programming
language. In Proceedings of the IASTED International Conference Artificial
Intelligence and Soft Computing, pages 180--183, July 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/tamura97compiler.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
395 An abstract Prolog instruction set (context) - Warren - 1983
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 ACM
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
81 A multiple-conclusion meta-logic - Miller - 1996 DBLP
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994 DBLP
49 ACL --- a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
13 Extension of WAM for a linear logic programming language - Tamura, Kaneda - 1996
Documents on the same site (http://bach.seg.kobe-u.ac.jp/llp/papers/): More
Extension of WAM for a linear logic programming language - Naoyuki Tamura (1996) (Correct)
Resource Management Method for a Compiler System of a Linear.. - Naoyuki Tamura (1996) (Correct)
Extension of WAM for a linear logic programming language - Tamura, Kaneda (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC